Content of RPM prover9-200911a-4.fc18.x86_64.rpm :
/usr/bin/mace4
/usr/bin/prover9
/usr/bin/prover9-interpformat
/usr/bin/prover9-isofilter
/usr/bin/prover9-isofilter0
/usr/bin/prover9-isofilter2
/usr/bin/prover9-prooftrans
/usr/share/doc/prover9-200911a
/usr/share/doc/prover9-200911a/COPYING
/usr/share/doc/prover9-200911a/Changelog
/usr/share/doc/prover9-200911a/TODO
/usr/share/doc/prover9-200911a/TODO/ADAM_2007_loose_ends
/usr/share/doc/prover9-200911a/TODO/README
/usr/share/doc/prover9-200911a/TODO/factor.in
/usr/share/doc/prover9-200911a/TODO/mace4-segv.in
/usr/share/doc/prover9-200911a/TODO/temp
/usr/share/doc/prover9-200911a/copyright
/usr/share/doc/prover9-200911a/mace4.examples
/usr/share/doc/prover9-200911a/mace4.examples/README
/usr/share/doc/prover9-200911a/mace4.examples/group2.in
/usr/share/doc/prover9-200911a/mace4.examples/rw1.in
/usr/share/doc/prover9-200911a/prover9.examples
/usr/share/doc/prover9-200911a/prover9.examples/README
/usr/share/doc/prover9-200911a/prover9.examples/x2.hints
/usr/share/doc/prover9-200911a/prover9.examples/x2.in
/usr/share/doc/prover9-200911a/prover9.examples/x2.out
/usr/share/man/man1/mace4.1.gz
/usr/share/man/man1/prover9-interpformat.1.gz
/usr/share/man/man1/prover9-isofilter.1.gz
/usr/share/man/man1/prover9-isofilter0.1.gz
/usr/share/man/man1/prover9-isofilter2.1.gz
/usr/share/man/man1/prover9-prooftrans.1.gz
/usr/share/man/man1/prover9.1.gz
467021