toutes les options
jessie  ] [  stretch  ] [  buster  ]

Paquet source : p9m4 (0.5.dfsg-3)

Liens pour p9m4

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
prover9-mace4
interface graphique pour Prover9 et Mace4

Autres paquets associés à p9m4

  • build-depends
  • build-depends-indep

Download p9m4

FichierTaille (en ko)Somme MD5
p9m4_0.5.dfsg-3.dsc 1,7 ko 57622870c89be51e690e1d3ba7b619b6
p9m4_0.5.dfsg.orig.tar.gz 86,6 ko 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-3.debian.tar.xz 8,6 ko a36c50463727eb5eea0af31579a99947