源码包: p9m4 (0.5.dfsg-3)

p9m4 的相关链接

Trisquel 的资源:

• 报告问题
• Changelog
• 版权文件

维护者:

• Debian QA Group

Original Maintainer:

• Debian QA Group

外部的资源:

• 主页 [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 (default version)

• adep: dh-python

  Debian helper tools for packaging Python libraries and applications

Download p9m4