[ bullseye ] [ bookworm ] [ trixie ] [ forky ] [ sid ]

Пакет исходного кода: minlog (4.0.99.20100221-8)

Ссылки для minlog

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

Сайт [www.minlog-system.de]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

minlog: Proof assistant based on first order natural deduction calculus

Другие пакеты, относящиеся к minlog

для сборки

build-depends-indep

adep: debhelper-compat (= 13)

Пакет недоступен
adep: racket

расширяемый язык программирования из семейства Scheme
adep: texlive

TeX Live: популярный набор пакетов издательской системы TeX Live

Download minlog

Файл	Размер (в Кб)	Контрольная сумма MD5
minlog_4.0.99.20100221-8.dsc	2,0 Кб	e8be8202dff8440ce5f77f48de4ecff3
minlog_4.0.99.20100221.orig.tar.gz	1 153,4 Кб	debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-8.debian.tar.xz	4,3 Кб	e83cb434ad54e12d735c2361357b3ce7

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/science-team/minlog.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/science-team/minlog