[ buster ]

原始碼套件：p9m4（0.5.dfsg-3）

p9m4 的相關連結

Debian 的資源：

維護者：

Debian QA Group (QA 頁面)

外部的資源：

主頁 [www.cs.unm.edu]

本原始碼套件構建了以下這些二進位制包：

prover9-mace4: GUI for Prover9 and Mace4

其他與 p9m4 有關的套件

構建架構特定包依賴

構建架構獨立包依賴

adep: cdbs

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

helper programs for debian/rules
adep: python

interactive high-level object-oriented language (Python2 version)
adep: dh-python

Debian helper tools for packaging Python libraries and applications

Download p9m4

檔案	大小（單位：kB）	MD5 校驗碼
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