Content of RPM E-1.8.001-1.fc19.x86_64.rpm :
/usr/bin/checkproof
/usr/bin/e_axfilter
/usr/bin/e_ltb_runner
/usr/bin/eground
/usr/bin/ekb_create
/usr/bin/ekb_delete
/usr/bin/ekb_ginsert
/usr/bin/ekb_insert
/usr/bin/epclextract
/usr/bin/eproof
/usr/bin/eproof_ram
/usr/bin/eprover
/usr/share/doc/E-1.8.001
/usr/share/doc/E-1.8.001/COPYING
/usr/share/doc/E-1.8.001/CREDITS
/usr/share/doc/E-1.8.001/E-1.4pre.html
/usr/share/doc/E-1.8.001/E-REMARKS
/usr/share/doc/E-1.8.001/E-REMARKS.english
/usr/share/doc/E-1.8.001/NEWS
/usr/share/doc/E-1.8.001/README
/usr/share/doc/E-1.8.001/TODO
/usr/share/doc/E-1.8.001/TSTP_Syntax.txt
/usr/share/doc/E-1.8.001/WISHLIST
/usr/share/doc/E-1.8.001/bug_reporting
/usr/share/doc/E-1.8.001/clib.ps
/usr/share/doc/E-1.8.001/eprover.pdf
/usr/share/doc/E-1.8.001/grammar.txt
/usr/share/doc/E-1.8.001/sample_proofs.html
/usr/share/doc/E-1.8.001/sample_proofs_tstp.html
/usr/share/man/man1/checkproof.1.gz
/usr/share/man/man1/e_axfilter.1.gz
/usr/share/man/man1/e_ltb_runner.1.gz
/usr/share/man/man1/eground.1.gz
/usr/share/man/man1/ekb_create.1.gz
/usr/share/man/man1/ekb_delete.1.gz
/usr/share/man/man1/ekb_ginsert.1.gz
/usr/share/man/man1/ekb_insert.1.gz
/usr/share/man/man1/epclextract.1.gz
/usr/share/man/man1/eproof.1.gz
/usr/share/man/man1/eproof_ram.1.gz
/usr/share/man/man1/eprover.1.gz
2903938