Bronpakket: minlog (4.0.99.20100221-7)
Verwijzigingen voor minlog
Trisquel bronnen:
Beheerder:
Original Maintainer:
Externe bronnen:
De volgende binaire pakketten worden van dit bronpakket gebouwd:
- minlog
- Proof assistant based on first order natural deduction calculus
Andere aan minlog gerelateerde pakketten
-
- adep:
debhelper-compat
(= 13)
- Pakket niet beschikbaar
-
- adep:
racket
- extensible programming language in the Scheme family
-
- adep:
texlive
(>= 2007-11)
- TeX Live: A decent selection of the TeX Live packages