all options
jessie  ] [  stretch  ] [  buster  ]

Source Package: p9m4 (0.5.dfsg-2.2)

Links for p9m4

Debian Resources:


External Resources:

The following binary packages are built from this source package:
GUI for Prover9 and Mace4

Other Packages Related to p9m4

  • build-depends
  • build-depends-indep

Download p9m4

FileSize (in kB)MD5 checksum
p9m4_0.5.dfsg-2.2.dsc 1.9 kB f791ab9af9e384e0aea5252d8672ca08
p9m4_0.5.dfsg.orig.tar.gz 86.6 kB 04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-2.2.diff.gz 8.9 kB 7b4c0813a8e99a010cdc7cf36ba839a3
Debian Package Source Repository (VCS: Subversion)
Debian Package Source Repository (Browsable)