Пакет-източник: minlog (4.0.99.20100221-6)
Връзки за minlog
Ресурси за Debian:
Отговорник:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- minlog
- Proof assistant based on first order natural deduction calculus
Други пакети, свързани с minlog
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- adep:
debhelper
(>= 7.1)
- helper programs for debian/rules
-
- adep:
racket
- extensible programming language in the Scheme family
-
- adep:
texlive
(>= 2007-11)
- TeX Live: A decent selection of the TeX Live packages
