[ buster ]

Source Package: p9m4 (0.5.dfsg-3)

Links for p9m4

Debian Resources:

Maintainer:

Debian QA Group (QA Page)

External Resources:

Homepage [www.cs.unm.edu]

The following binary packages are built from this source package:

prover9-mace4: GUI for Prover9 and Mace4

Other Packages Related to p9m4

build-depends

build-depends-indep

adep: cdbs

common build system for Debian packages
adep: debhelper (>= 9)

helper programs for debian/rules
adep: python

lenguaje interactivo de alto nivel orientado a objetos (versión Python2)
adep: dh-python

Debian helper tools for packaging Python libraries and applications

Download p9m4

File	Size (in kB)	MD5 checksum
p9m4_0.5.dfsg-3.dsc	1.7 kB	57622870c89be51e690e1d3ba7b619b6
p9m4_0.5.dfsg.orig.tar.gz	86.6 kB	04afdf4e290e8a9100ac69893a561e53
p9m4_0.5.dfsg-3.debian.tar.xz	8.6 kB	a36c50463727eb5eea0af31579a99947