Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> Source >> doc >> prover9-manual
etiona  ] [  nabia  ] [  aramo  ]

Paquet source : prover9-manual (0.0.200902a-2.1)

Liens pour prover9-manual

Ressources Trisquel :

Responsable :

Original Maintainer:

  • Debian QA Group

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
prover9-doc
documentation for Prover9 and associated programs

Autres paquets associés à prover9-manual

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • idep: htmldoc
    HTML processor that generates indexed HTML, PS, and PDF

Download prover9-manual

FichierTaille (en ko)Somme MD5
prover9-manual_0.0.200902a-2.1.dsc 1,9 ko b18bf31d33dd376a2d35ac9261882dae
prover9-manual_0.0.200902a.orig.tar.gz 1 010,2 ko 00b6779d2d3edbd4434a24eebb79b2a8
prover9-manual_0.0.200902a-2.1.debian.tar.xz 4,6 ko faa418af02d2b8cb993803c012136e7a
Dépôt Debian des paquets source (VCS: Git)
git://git.debian.org/git/collab-maint/prover9-manual.git
Dépôt Debian des paquets source (interface web)
http://git.debian.org/?p=collab-maint/prover9-manual.git