[  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

[ Source: p9m4  ]

Links for prover9-mace4

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti p9m4:

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

Ylläpitäjä:

• 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:

• Kotisivu [www.cs.unm.edu]

Samankaltaisia paketteja:

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

Muut pakettiin prover9-mace4 liittyvät paketit

depends

recommends

suggests

• dep: prover9 (>= 0.0.200712-1)

  theorem prover and countermodel generator

• dep: python

  An 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)

Imuroi prover9-mace4

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	67.4 kt	476.0 kt	[tiedostoluettelo]