Content of RPM E-3.1.0-1.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/lib/.build-id
/usr/lib/.build-id/26
/usr/lib/.build-id/26/f9b497cbbd071e0ef84b45a1bfa6d8620d3bca
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/1419f68f5dd07f215cf30040a07a45bdff1aa8
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/960886cfc998d82ad6546993d00602a3e645d6
/usr/lib/.build-id/48
/usr/lib/.build-id/48/b096ad801ac85b5e8df7f09e6b5b375ccff616
/usr/lib/.build-id/57
/usr/lib/.build-id/57/93671a145f95fdea3d7062e4a5bc6d0560c37c
/usr/lib/.build-id/74
/usr/lib/.build-id/74/908d9eaf4192ca3e2285e9c8699bf505a9692b
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/3f696995c1062fee41976ac5a17a9812eef01c
/usr/lib/.build-id/96
/usr/lib/.build-id/96/1a47d6ce17c694c453f657034b428ed50824b2
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/4e735c4fc8fbb19ec4b32af6a839219174d7a2
/usr/lib/.build-id/da
/usr/lib/.build-id/da/bb2b5a638c2af12476af0b068ba554f90e2b06
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/ae9301e590f8da918905651889650b8b5cc435
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/91f20aeed05644df4cb13ad73037eebc4a1245
/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
10339737