prover9-mace4 0.5.dfsg-2.1 / usr / share

This file is indexed.

/usr/share/ is in prover9-mace4 0.5.dfsg-2.1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/ root:root 0o755
/usr/share/doc/prover9-mace4/changelog.Debian.gz application/gzip root:root 0o644 821 bytes
/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/pyshared/ root:root 0o755
/usr/share/prover9-mace4/lib/partition_input.py text/x-python root:root 0o644 4.8 KB
/usr/share/prover9-mace4/ root:root 0o755
/usr/share/prover9-mace4/lib/ root:root 0o755
/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/lib/files.py text/x-python root:root 0o644 2.4 KB
/usr/share/prover9-mace4/lib/options.py text/x-c++ root:root 0o644 49.8 KB
/usr/share/prover9-mace4/lib/my_setup.py text/x-c++ root:root 0o644 22.0 KB
/usr/share/prover9-mace4/lib/control.py text/x-c++ root:root 0o644 39.9 KB
/usr/share/prover9-mace4/lib/platforms.py text/x-python root:root 0o644 1.4 KB
/usr/share/prover9-mace4/Images/ root:root 0o755
/usr/share/prover9-mace4/Images/prover9-5a-128t.gif image/gif root:root 0o644 1.1 KB
/usr/share/prover9-mace4/Images/p9.ico image/x-icon root:root 0o644 7.2 KB
/usr/share/prover9-mace4/Images/mace4-90t.gif image/gif root:root 0o644 827 bytes
/usr/share/prover9-mace4/Images/prover9-splash.gif image/gif root:root 0o644 7.5 KB
/usr/share/prover9-mace4/Samples/ root:root 0o755
/usr/share/prover9-mace4/Samples/Kauer.in text/plain root:root 0o644 1.3 KB
/usr/share/prover9-mace4/Samples/Equality/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Prover9/ root:root 0o755
/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/OML-sax.in text/plain root:root 0o644 1.5 KB
/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/RBA-2.in text/plain root:root 0o644 410 bytes
/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/BA-distributivity.in text/plain root:root 0o644 448 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/ root:root 0o755
/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/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/Megill-68.in text/plain root:root 0o644 722 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in text/plain root:root 0o644 521 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/BA-Sheffer-counterexample.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/Mace4/QG-4.in text/plain root:root 0o644 461 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in text/plain root:root 0o644 356 bytes
/usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in text/plain root:root 0o644 464 bytes
/usr/share/prover9-mace4/Samples/GT_Sax.in text/plain root:root 0o644 333 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/ root:root 0o755
/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/EC-XCB-reflexivity.in text/plain root:root 0o644 411 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1 text/plain root:root 0o644 20.4 KB
/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/Lifschitz.in text/plain root:root 0o644 251 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/Mace4/ root:root 0o755
/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/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/EC-counterexample.in text/plain root:root 0o644 418 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/prover9-mace4/ root:root 0o755
/usr/share/doc/prover9-mace4/copyright text/plain root:root 0o644 1.2 KB
/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.public text/plain root:root 0o644 47 bytes
/usr/share/python-support/prover9-mace4.private text/plain root:root 0o644 336 bytes

APT Browse - Built by Thomas Orozco.