Content of RPM alt-ergo-2.2.0-10.mga8.i586.rpm :
/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/0b558a59b384bce6353b10a262fbbc4fced82c
/usr/lib/.build-id/43
/usr/lib/.build-id/43/4a85505c9e614b377ed767c4d95b121b4a6586
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/f21843d2714eb3fe2c4da248812dec311ede09
/usr/lib/alt-ergo
/usr/lib/alt-ergo/META
/usr/lib/alt-ergo/altErgoLib.a
/usr/lib/alt-ergo/altErgoLib.cma
/usr/lib/alt-ergo/altErgoLib.cmi
/usr/lib/alt-ergo/altErgoLib.cmo
/usr/lib/alt-ergo/altErgoLib.cmt
/usr/lib/alt-ergo/altErgoLib.cmx
/usr/lib/alt-ergo/altErgoLib.cmxa
/usr/lib/alt-ergo/altErgoLib.cmxs
/usr/lib/alt-ergo/altErgoLib.o
/usr/lib/alt-ergo/plugins
/usr/lib/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib/alt-ergo/preludes
/usr/lib/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
/usr/share/doc/alt-ergo
/usr/share/doc/alt-ergo/CHANGES
/usr/share/doc/alt-ergo/LICENSE.md
/usr/share/doc/alt-ergo/README.md
/usr/share/doc/alt-ergo/doc
/usr/share/doc/alt-ergo/doc/alt-ergo.1
/usr/share/doc/alt-ergo/doc/gtk-lang
/usr/share/doc/alt-ergo/doc/gtk-lang/alt-ergo.lang
/usr/share/man/man1/alt-ergo.1.xz