Content of RPM E-2.6-4.fc37.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/13
/usr/lib/.build-id/13/2358cffe61753f8c1290abdd854bdcf0fa28f1
/usr/lib/.build-id/16
/usr/lib/.build-id/16/43353e63b55f720a6ad4ac7fda5b46c6f690d2
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/9dfcadd4c4a64f3d9f2331677750d7b9fbb310
/usr/lib/.build-id/31
/usr/lib/.build-id/31/ceb6ea6696f46a8b9df0f1ba5bd13e1a0bacae
/usr/lib/.build-id/49
/usr/lib/.build-id/49/42e513d84be1c896a2ee0b29ea873136a712a7
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/c0c4810a8c7408017b1cc9b5b927ac5594b4bc
/usr/lib/.build-id/69
/usr/lib/.build-id/69/97da3200303a801d192d416d6c0963bcadc1bb
/usr/lib/.build-id/98
/usr/lib/.build-id/98/21d4bdfaf50b520b110a6aa08329271f93c61f
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/05621ca8c4e7935291e66fb1ad2f84365716a2
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/75aa9b1536f70fb1b9f3575db346c814b50d16
/usr/lib/.build-id/d5
/usr/lib/.build-id/d5/678814b4a4b7dc1146a9cae3711b2c689e9e18
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/21db460d23bec94bf4d140db61eb661faed4bd
/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-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
8821235