Content of RPM E-3.0.03-4.fc40.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/bin/eprover-ho
/usr/lib/.build-id
/usr/lib/.build-id/10
/usr/lib/.build-id/10/bf1731afb2cbe9f2348620f4e5e44c63f2449f
/usr/lib/.build-id/10/bf4124c0c61610fbe4287e301d41898dbcdb83
/usr/lib/.build-id/24
/usr/lib/.build-id/24/02d3206bb089bf561841083d6c6c0311c9ae3d
/usr/lib/.build-id/28
/usr/lib/.build-id/28/4912c6e5e3130d65f8dde1256ba1e774b9668d
/usr/lib/.build-id/43
/usr/lib/.build-id/43/05a83dcd62bfcbd7f9b6c77596541fd4483d43
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/2ecc33be2835f6344725d9cd645c72dc572b0a
/usr/lib/.build-id/93
/usr/lib/.build-id/93/2e0525227ac81492537a8724b3f4cc892502b4
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/c489e612650b6438828f1a541830fba3cebe81
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/17297653eff092baf89971d899787b65eac592
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/0cbfdc7d52ae3176800d10576954d37bec1455
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/42910adbbfccf26c0d030c8fdc7ddb5d1fa1c2
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/5a3b8182b5b2a2efd938e9696c206ad84cd5aa
/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-ho.1.gz
/usr/share/man/man1/eprover.1.gz
10277130