Content of RPM E-2.0-4.fc28.x86_64.rpm :
/usr/bin/checkproof
/usr/bin/e_axfilter
/usr/bin/e_deduction_server
/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/lib/.build-id
/usr/lib/.build-id/29
/usr/lib/.build-id/29/f667fdd64c226103d4ef8163630ab826678b14
/usr/lib/.build-id/47
/usr/lib/.build-id/47/11abf7f338fbb0ca82605a4ac661753abbaddc
/usr/lib/.build-id/50
/usr/lib/.build-id/50/26d1766cd348380e5426f5327fff16858fec82
/usr/lib/.build-id/66
/usr/lib/.build-id/66/adc29c30186f05d6c9a84b1946f2b51f430000
/usr/lib/.build-id/73
/usr/lib/.build-id/73/906540da15a1e66ed7095a02ef223783fc5dd8
/usr/lib/.build-id/82
/usr/lib/.build-id/82/b0937008a441b6768f16712ea1257db4216341
/usr/lib/.build-id/99
/usr/lib/.build-id/99/d7894a2c884974e2b9301e1ab28df329f06239
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/645eea311e6e695fe623122bb83b667209c05a
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/a9845250dc831dded8f32dcf32eb531c8dc15a
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/6f1be03e6e145a86f0901c5685c2180242f5d7
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/b57ad8631b66abf048a839b52c0266646e2698
/usr/share/doc/E
/usr/share/doc/E/CONTRIBUTORS
/usr/share/doc/E/E-0.6.html
/usr/share/doc/E/E-0.62.html
/usr/share/doc/E/E-0.7.html
/usr/share/doc/E/E-0.8.html
/usr/share/doc/E/E-0.82.html
/usr/share/doc/E/E-0.99.html
/usr/share/doc/E/E-0.999.html
/usr/share/doc/E/E-1.0pre.html
/usr/share/doc/E/E-1.1pre.html
/usr/share/doc/E/E-1.2pre.html
/usr/share/doc/E/E-1.4pre.html
/usr/share/doc/E/E-1.6pre.html
/usr/share/doc/E/E-1.8pre.html
/usr/share/doc/E/E-1.9.1pre.html
/usr/share/doc/E/E-1.9pre.html
/usr/share/doc/E/E-2.0pre.html
/usr/share/doc/E/E-REMARKS
/usr/share/doc/E/E-REMARKS.english
/usr/share/doc/E/NEWS
/usr/share/doc/E/README
/usr/share/doc/E/README.server
/usr/share/doc/E/TODO
/usr/share/doc/E/TSTP_Syntax.txt
/usr/share/doc/E/WISHLIST
/usr/share/doc/E/bug_reporting
/usr/share/doc/E/clib.ps
/usr/share/doc/E/eprover.pdf
/usr/share/doc/E/grammar.txt
/usr/share/doc/E/sample_proofs.html
/usr/share/doc/E/sample_proofs_tstp.html
/usr/share/licenses/E
/usr/share/licenses/E/COPYING
/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
6002496