Content of RPM E-3.1.0-2.fc41.x86_64.rpm :
/usr/bin/checkproof
/usr/bin/e_axfilter
/usr/bin/e_deduction_server
/usr/bin/e_ltb_runner
/usr/bin/e_stratpar
/usr/bin/eground
/usr/bin/ekb_create
/usr/bin/ekb_delete
/usr/bin/ekb_ginsert
/usr/bin/ekb_insert
/usr/bin/epclextract
/usr/bin/eprover
/usr/lib/.build-id
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/ee357c68926a232dbcc86f3e33b19787c83493
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/75f13aa851d1b8b41b91431bcd65b14c7efc6b
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/d53315a03e3c80efd5ed614c6990835448f0e0
/usr/lib/.build-id/54
/usr/lib/.build-id/54/f045e9443d749b811369bd71597bf49671a7c3
/usr/lib/.build-id/59
/usr/lib/.build-id/59/c43256eca4678e5c2e029da6eefacf13ee413c
/usr/lib/.build-id/64
/usr/lib/.build-id/64/cfe788d8092fa8a6a0e8cd9e3ea751e0ca6b5b
/usr/lib/.build-id/65
/usr/lib/.build-id/65/81c0fa418e4afd8f6fdc57307b8e1748dd840e
/usr/lib/.build-id/7c
/usr/lib/.build-id/7c/afef022597669939f087e83de43e085800b81c
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/377ba15a0ce7bd51f1d02fa781a8a2e3ee4ae3
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/d64eb97b275bfca2e376587178728123f87e69
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/5cbd4a60a2676aa9be44ffa9a5e334deb3315e
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/72f14e25bab02357a0472cb528cc299d3242c6
/usr/share/doc/E
/usr/share/doc/E/ANNOUNCE
/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.1pre.html
/usr/share/doc/E/E-2.2pre.html
/usr/share/doc/E/E-2.4pre.html
/usr/share/doc/E/E-2.6.html
/usr/share/doc/E/E-3.0.html
/usr/share/doc/E/E-3.1.html
/usr/share/doc/E/E-REMARKS
/usr/share/doc/E/E-REMARKS.english
/usr/share/doc/E/NEWS
/usr/share/doc/E/README.md
/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/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_deduction_server.1.gz
/usr/share/man/man1/e_ltb_runner.1.gz
/usr/share/man/man1/e_stratpar.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/eprover.1.gz
10209212