[  lucid  ] [  maverick  ] [  natty  ] [  oneiric  ] [  precise  ]

[ Source: p9m4  ]

Links for prover9-mace4

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package p9m4:

• [p9m4_0.5.dfsg-2.dsc]
• [p9m4_0.5.dfsg.orig.tar.gz]
• [p9m4_0.5.dfsg-2.diff.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Peter Collingbourne
• Python Applications Packaging Team (Mail Archive)

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [www.cs.unm.edu]

Similar packages:

• prover9
• prover9-doc
• libladr4
• ladr4-apps
• libladr-dev
• mace2
• matita-standard-library
• csound-gui
• hplip-gui
• mysql-gui-tools-common
• entity-doc

Other Packages Related to prover9-mace4

depends

recommends

suggests

• dep: prover9 (>= 0.0.200712-1)

  theorem prover and countermodel generator

• dep: python

  interactive high-level object-oriented language (default version)

• dep: python-support (>= 0.90.0)

  automated rebuilding support for Python modules

• dep: python-wxgtk2.6

  wxWidgets Cross-platform C++ GUI toolkit (wxPython binding)

Download prover9-mace4

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	67.4 kB	476.0 kB	[list of files]