Content of RPM E-2.6-6.fc39.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/10
/usr/lib/.build-id/10/b665cd942bd51dd18a246c210635f1c33ad3a0
/usr/lib/.build-id/15
/usr/lib/.build-id/15/a388dc2b4705b044f4c15a984faeba163c043e
/usr/lib/.build-id/38
/usr/lib/.build-id/38/c708382aeba2627ec7b9586fa8a10f8014e001
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/11f5d71d3341c784ccbb0934ad9f66a0c95cd3
/usr/lib/.build-id/66
/usr/lib/.build-id/66/401483f8a21c197e6a2a8647e7c83e021c1091
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/39b3181b210361c636e36e5a609f3943225272
/usr/lib/.build-id/87
/usr/lib/.build-id/87/81984347811873cdd516ce24533bd764dd5a72
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/c167b69dac370af47741a0eeb511cb78d2b948
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/364eae76eeda6655690c53adc7f4f1100b639d
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/f612c648e4e11785ac2c3eaf5148b81b9fcac5
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/ef5401dbd33197cd29e80679ea03c0ca207399
/usr/lib/.build-id/f1
/usr/lib/.build-id/f1/08fe3fac0eff2cefb8fd6ca205f67199a2ab9c
/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
10254244