[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Paquet source : minlog (4.0.99.20100221-7)

Liens pour minlog

Ressources Debian :

Responsable :

Debian QA Group (Page QA)

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 (>= 2007-11)

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

Download minlog

Fichier	Taille (en ko)	Somme MD5
minlog_4.0.99.20100221-7.dsc	1,4 ko	fef1169cb9d8f0eff152319dc894997b
minlog_4.0.99.20100221.orig.tar.gz	1 153,4 ko	debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-7.debian.tar.xz	4,5 ko	791eda4c164c15ec7e1dd8bd0b733f98

Dépôt Debian des paquets source (VCS: Git): https://git.dgit.debian.org/minlog.git
Dépôt Debian des paquets source (interface web): https://browse.dgit.debian.org/minlog.git/