/usr/share/python-support/prover9-mace4.private is in prover9-mace4 0.5.dfsg-2.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | /usr/share/prover9-mace4/lib/utilities.py
/usr/share/prover9-mace4/lib/wx_utilities.py
/usr/share/prover9-mace4/lib/files.py
/usr/share/prover9-mace4/lib/options.py
/usr/share/prover9-mace4/lib/partition_input.py
/usr/share/prover9-mace4/lib/my_setup.py
/usr/share/prover9-mace4/lib/control.py
/usr/share/prover9-mace4/lib/platforms.py
|