Content of RPM E-3.2.5-1.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/04
/usr/lib/.build-id/04/04606aaf05831fe3a6c72dde830eeac22bb324
/usr/lib/.build-id/21
/usr/lib/.build-id/21/aa96f6ed8f8c8435aba5d50e7b6e0b6851f2e2
/usr/lib/.build-id/23
/usr/lib/.build-id/23/8b211821508f2bb50a66939bdc782b4c4e1406
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/2bd62a88f34f39d7534fec6a670e92c90a477f
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/8fcfd1ce7404c563e988d0926e9e7070876321
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/1a94d96c927c63a4bd8de9be67f6f79dd68ba7
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/221100805e2bafe4ccc2cce4d961ac24558582
/usr/lib/.build-id/92
/usr/lib/.build-id/92/1fa04facff597791de64c13570979a3d4ba484
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/86cc253a83f36f9b4fb645210c629d53652f06
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/d4c8d7834df1f641fe76a6fd02561df9692484
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/9b6cafd3b315b5f426ff069805372e0c4780a4
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/02e035b0053b824d45df2273b102cf05e30c13
/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