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

Paquet source : minlog (4.0.99.20100221-8)

Liens pour minlog

Ressources Debian :

Responsables :

Ressources externes :

Page d'accueil [www.minlog-system.de]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

minlog: système de manipulation de preuve basé sur des calculs de déduction naturelle du premier ordre

Autres paquets associés à minlog

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paquet indisponible
adep: racket

langage de programmation extensible de la famille Scheme
adep: texlive

TeX Live : une sélection raisonnable de paquets TeX Live

Download minlog

Fichier	Taille (en ko)	Somme MD5
minlog_4.0.99.20100221-8.dsc	2,0 ko	e8be8202dff8440ce5f77f48de4ecff3
minlog_4.0.99.20100221.orig.tar.gz	1 153,4 ko	debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-8.debian.tar.xz	4,3 ko	e83cb434ad54e12d735c2361357b3ce7

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/science-team/minlog.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/science-team/minlog