prover9-mace4_0.5.dfsg-3_all.deb


Advertisement

Description

prover9-mace4 - GUI for Prover9 and Mace4

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name prover9-mace4
Package version 0.5.dfsg
Package release 3
Package architecture all
Package type deb
Installed size 265 B
Download size 51.44 KB
Official Mirror archive.ubuntu.com
This package provides a graphical user interface for easily running
the Prover9 theorem prover and the Mace4 countermodel generator
along with a number of sample input files.

Alternatives

Package Version Architecture Repository
prover9-mace4_0.5.dfsg-3_all.deb 0.5.dfsg all Ubuntu Universe
prover9-mace4 - - -

Requires

Name Value
prover9 >= 0.0.200712-1
python-wxgtk3.0 -
python:any >= 2.7.5-5~

Download

Type URL
Binary Package prover9-mace4_0.5.dfsg-3_all.deb
Source Package p9m4

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install prover9-mace4 deb package:
    # sudo apt-get install prover9-mace4

Files

Path
/usr/share/doc/prover9-mace4/changelog.Debian.gz
/usr/share/doc/prover9-mace4/copyright
/usr/share/man/man1/prover9-mace4.1.gz
/usr/share/prover9-mace4/Images/mace4-90t.gif
/usr/share/prover9-mace4/Images/p9.ico
/usr/share/prover9-mace4/Images/prover9-5a-128t.gif
/usr/share/prover9-mace4/Images/prover9-splash.gif
/usr/share/prover9-mace4/Samples/GT_Sax.in
/usr/share/prover9-mace4/Samples/Kauer.in
/usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in
/usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in
/usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1
/usr/share/prover9-mace4/lib/control.py
/usr/share/prover9-mace4/lib/files.py
/usr/share/prover9-mace4/lib/my_setup.py
/usr/share/prover9-mace4/lib/options.py
/usr/share/prover9-mace4/lib/partition_input.py
/usr/share/prover9-mace4/lib/platforms.py
/usr/share/prover9-mace4/lib/utilities.py
/usr/share/prover9-mace4/lib/wx_utilities.py
/usr/share/python/runtime.d/prover9-mace4.rtupdate

Changelog

2015-12-14 - Mattia Rizzolo <mattia@debian.org>
p9m4 (0.5.dfsg-3) unstable; urgency=medium
* QA upload.
* Orphan the package, after request of the MIA team and ack from PAPT team.
Closes: #740323
* Also remove Vcs-* fields, being removed from the PAPT team.
* remove long useless debian/pycompat file.
* debian/control: remove long useless DM-Upload-Allowed field.
* Build with dh-python instead of python-support.  Closes: #786257
* Use source format 3.0 (quilt).
* Bump debhelper compat to 9.
* Bump Standards-Version to 3.9.6, no changes needed.
2014-08-30 - Olly Betts <olly@survex.com>
p9m4 (0.5.dfsg-2.2) unstable; urgency=medium
* Non-maintainer upload.
* Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8.
(Closes: #758507)
2011-11-24 - Olly Betts <olly@survex.com>
p9m4 (0.5.dfsg-2.1) unstable; urgency=low
* Non-maintainer upload.
* Update to suggest python-wxgtk2.8 rather than python-wxgtk2.6 - should
be a low risk change, as with default alternatives 2.8 will already get
used if installed, and 2.8 has twice as many installs according to popcon.
(Closes: #645569)
2009-05-03 - Peter Collingbourne <peter@pcc.me.uk>
p9m4 (0.5.dfsg-2) unstable; urgency=low
[ Sandro Tosi ]
* debian/control
- switch Vcs-Browser field to viewsvn
[ Marco Rodrigues ]
* debian/control:
+ Add ${misc:Depends} to Depends to remove
lintian warning.
[ Peter Collingbourne ]
* debian/install: removed shell brace expansion
* debian/prover9-mace4.1, debian/control, debian/copyright: changed
maintainer email address
* debian/copyright: updated year, use correct declaration of
copyright, refer to version of GPL
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
64-bit platforms (closes: #526685)
* debian/control: added DM-Upload-Allowed: yes
2008-01-15 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
p9m4 (0.5.dfsg-1) unstable; urgency=low
* Initial release (closes: #460813)
* my_setup.py, partition_input.py: removed Python-2.5isms from code
* debian/setup.py: wrote distutils script
* files.py, prover9-mace4.py: point to correct file locations

See Also

Package Description
prover9_0.0.200911a-2.1_amd64.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_amd64.deb multi purpose SMTP Proxy
proxychains_3.1-7_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_amd64.deb checks existence of open proxy
proxytrack_3.48.21-1_amd64.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0+svn250-6_amd64.deb Create tcp tunnels trough HTTPS proxies, for using with SSH
prt_0.19-2_all.deb Command line Perl Refactoring Tool
pry_0.10.3-2_all.deb powerful irb alternative and runtime developer console
ps-watcher_1.08-7_all.deb monitoring a system via ps-like commands
psad_2.2.3-1_amd64.deb Port Scan Attack Detector
pscan_1.2-9_amd64.deb Format string security checker for C files
psensor-common_1.1.3-2ubuntu3_all.deb common files for Psensor and Psensor server
psensor-server_1.1.3-2ubuntu3_amd64.deb Psensor server for monitoring hardware sensors remotely
psensor_1.1.3-2ubuntu3_amd64.deb display graphs for monitoring hardware temperature
pseudo_1.7.4-2_amd64.deb advanced tool for simulating superuser privileges
Advertisement
Advertisement