Content of RPM E-3.2.5-2.fc42.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/03
/usr/lib/.build-id/03/5f5f0162d6368eff9310bb9cb9bf5cab33a9c6
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/714e6bc506f5d339f795210cf2c0d337cc4324
/usr/lib/.build-id/30
/usr/lib/.build-id/30/d364b8719fa077964c85c38f44be00811ec710
/usr/lib/.build-id/30/fce329747abc946b173fd1e96206362cdeb1ce
/usr/lib/.build-id/31
/usr/lib/.build-id/31/c00d559f73f609fae6175c80ec86c2d47c83d4
/usr/lib/.build-id/61
/usr/lib/.build-id/61/0b9ccd9b51c7d9ec9f5d05754c3ca80dc01a1a
/usr/lib/.build-id/98
/usr/lib/.build-id/98/1402e292d4875256bb6eafa3c3edb9b89bb31d
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/88a4275435d601d9051d0be45d1226ef09d081
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/5e973952afb312cc813348a3f5491eafecf255
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/92fbdd07bf925f1bdf687ccbb5651d8826a208
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/71e3d55693f5dd6d809d56043f2f93907f4995
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/e0717be59e0150094401cf677b66ef10b471d1
/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
10322979