Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> Source >> math >> minlog
[  etiona  ] [  nabia  ] [  aramo  ]

Paquet source : minlog (4.0.99.20100221-7)

Liens pour minlog

Ressources Trisquel :

Responsable :

Original Maintainer:

  • Debian QA Group

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
minlog
Proof assistant based on first order natural deduction calculus

Autres paquets associés à minlog

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paquet indisponible
  • adep: racket
    extensible programming language in the Scheme family
  • adep: texlive (>= 2007-11)
    TeX Live: A decent selection of the TeX Live packages

Download minlog

FichierTaille (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/