prover9-mace4 0.5.dfsg-2.1 in ubuntu - precise / universe

About

This package is 67.6 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/p9m4/prover9-mace4_0.5.dfsg-2.1_all.deb .

View its full control file here: debian/control.

Description

GUI for Prover9 and Mace4

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
postinst	text/x-shellscript	N/A	N/A	212 bytes
prerm	text/x-shellscript	N/A	N/A	215 bytes
/usr/		root:root	0o755
/usr/bin/		root:root	0o755
/usr/bin/prover9-mace4	text/x-python	root:root	0o755	23.7 KB
/usr/share/		root:root	0o755
/usr/share/doc/		root:root	0o755
/usr/share/doc/prover9-mace4/		root:root	0o755
/usr/share/doc/prover9-mace4/changelog.Debian.gz	application/gzip	root:root	0o644	821 bytes
/usr/share/doc/prover9-mace4/copyright	text/plain	root:root	0o644	1.2 KB
/usr/share/man/		root:root	0o755
/usr/share/man/man1/		root:root	0o755
/usr/share/man/man1/prover9-mace4.1.gz	application/gzip	root:root	0o644	431 bytes
/usr/share/prover9-mace4/		root:root	0o755
/usr/share/prover9-mace4/Images/		root:root	0o755
/usr/share/prover9-mace4/Images/mace4-90t.gif	image/gif	root:root	0o644	827 bytes
/usr/share/prover9-mace4/Images/p9.ico	image/x-icon	root:root	0o644	7.2 KB
/usr/share/prover9-mace4/Images/prover9-5a-128t.gif	image/gif	root:root	0o644	1.1 KB
/usr/share/prover9-mace4/Images/prover9-splash.gif	image/gif	root:root	0o644	7.5 KB
/usr/share/prover9-mace4/lib/		root:root	0o755
/usr/share/prover9-mace4/lib/control.py	text/x-c++	root:root	0o644	39.9 KB
/usr/share/prover9-mace4/lib/files.py	text/x-python	root:root	0o644	2.4 KB
/usr/share/prover9-mace4/lib/my_setup.py	text/x-c++	root:root	0o644	22.0 KB
/usr/share/prover9-mace4/lib/options.py	text/x-c++	root:root	0o644	49.8 KB
/usr/share/prover9-mace4/lib/partition_input.py	text/x-python	root:root	0o644	4.8 KB
/usr/share/prover9-mace4/lib/platforms.py	text/x-python	root:root	0o644	1.4 KB
/usr/share/prover9-mace4/lib/utilities.py	text/x-python	root:root	0o644	2.5 KB
/usr/share/prover9-mace4/lib/wx_utilities.py	text/x-c++	root:root	0o644	10.7 KB
/usr/share/prover9-mace4/Samples/		root:root	0o755
/usr/share/prover9-mace4/Samples/Equality/		root:root	0o755
/usr/share/prover9-mace4/Samples/Equality/Mace4/		root:root	0o755
/usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in	text/plain	root:root	0o644	1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in	text/plain	root:root	0o644	521 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in	text/plain	root:root	0o644	722 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in	text/plain	root:root	0o644	356 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in	text/plain	root:root	0o644	510 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in	text/plain	root:root	0o644	475 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in	text/plain	root:root	0o644	547 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in	text/plain	root:root	0o644	461 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in	text/plain	root:root	0o644	1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in	text/plain	root:root	0o644	451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/		root:root	0o755
/usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in	text/plain	root:root	0o644	448 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in	text/plain	root:root	0o644	1.3 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in	text/plain	root:root	0o644	845 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in	text/plain	root:root	0o644	451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in	text/plain	root:root	0o644	464 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in	text/plain	root:root	0o644	1.5 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in	text/plain	root:root	0o644	410 bytes
/usr/share/prover9-mace4/Samples/GT_Sax.in	text/plain	root:root	0o644	333 bytes
/usr/share/prover9-mace4/Samples/Kauer.in	text/plain	root:root	0o644	1.3 KB
/usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in	text/plain	root:root	0o644	464 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/		root:root	0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/		root:root	0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in	text/plain	root:root	0o644	418 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in	text/plain	root:root	0o644	1.3 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in	text/plain	root:root	0o644	2.5 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in	text/plain	root:root	0o644	3.5 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/		root:root	0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in	text/plain	root:root	0o644	411 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in	text/plain	root:root	0o644	2.7 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in	text/plain	root:root	0o644	251 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in	text/plain	root:root	0o644	2.1 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in	text/plain	root:root	0o644	362 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp	text/plain	root:root	0o644	21 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0	text/plain	root:root	0o644	15.8 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1	text/plain	root:root	0o644	20.4 KB
/usr/share/pyshared/		root:root	0o755
/usr/share/pyshared/prover9_mace4-0.5.egg-info	text/plain	root:root	0o644	246 bytes
/usr/share/python-support/		root:root	0o755
/usr/share/python-support/prover9-mace4.private	text/plain	root:root	0o644	336 bytes
/usr/share/python-support/prover9-mace4.public	text/plain	root:root	0o644	47 bytes