File list of package prover9-mace4 in buster of architecture all

/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/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/GT_Sax.in
/usr/share/prover9-mace4/Samples/Kauer.in
/usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.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