alle opties
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Bronpakket: p9m4 (0.5.dfsg-2)

Verwijzigingen voor p9m4

Debian bronnen:

Beheerders:

Externe bronnen:

De volgende binaire pakketten worden van dit bronpakket gebouwd:
prover9-mace4
GUI for Prover9 and Mace4

Andere aan p9m4 gerelateerde pakketten

  • build-depends
  • build-depends-indep

Download p9m4

BestandGrootte (in kB)MD5 checksum
p9m4_0.5.dfsg-2.dsc 1,3 kB ada7aaaf3871ca5572ffe45f19107a4d
p9m4_0.5.dfsg.orig.tar.gz 86,6 kB 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-2.diff.gz 8,5 kB d118d27a7bad4866399cea99e7a4c494
Debian Package Source Repository (VCS: Subversion)
svn://svn.debian.org/python-apps/packages/p9m4/trunk/
Debian Package Source Repository (Browsable)
http://svn.debian.org/viewsvn/python-apps/packages/p9m4/trunk/