Content of RPM gappa-1.3.0-4.2.x86_64.rpm :
/usr/bin/gappa
/usr/share/doc/packages/gappa
/usr/share/doc/packages/gappa/AUTHORS
/usr/share/doc/packages/gappa/COPYING
/usr/share/doc/packages/gappa/COPYING.GPL
/usr/share/doc/packages/gappa/ChangeLog
/usr/share/doc/packages/gappa/NEWS
/usr/share/doc/packages/gappa/README
/usr/share/doc/packages/gappa/doc
/usr/share/doc/packages/gappa/doc/changelog.pl
/usr/share/doc/packages/gappa/doc/doxygen
/usr/share/doc/packages/gappa/doc/doxygen/Doxyfile
/usr/share/doc/packages/gappa/doc/examples
/usr/share/doc/packages/gappa/doc/examples/newton.xml
/usr/share/doc/packages/gappa/doc/examples/tang.xml
/usr/share/doc/packages/gappa/doc/examples/x1mx.xml
/usr/share/doc/packages/gappa/doc/gappa-html.xsl
/usr/share/doc/packages/gappa/doc/gappa-pdf.xsl
/usr/share/doc/packages/gappa/doc/gappa-preprocess.xsl
/usr/share/doc/packages/gappa/doc/gappa.css
/usr/share/doc/packages/gappa/doc/gappa.sty
/usr/share/doc/packages/gappa/doc/gappa.xml
/usr/share/doc/packages/gappa/doc/images
/usr/share/doc/packages/gappa/doc/images/gwhy-sqrt.png
/usr/share/doc/packages/gappa/doc/images/home.png
/usr/share/doc/packages/gappa/doc/images/next.png
/usr/share/doc/packages/gappa/doc/images/prev.png
/usr/share/doc/packages/gappa/doc/images/up.png
/usr/share/doc/packages/gappa/doc/manual
/usr/share/doc/packages/gappa/doc/manual/biblio.xml
/usr/share/doc/packages/gappa/doc/manual/coq.xml
/usr/share/doc/packages/gappa/doc/manual/customizing.xml
/usr/share/doc/packages/gappa/doc/manual/expressions.xml
/usr/share/doc/packages/gappa/doc/manual/grammar.xml
/usr/share/doc/packages/gappa/doc/manual/hints.xml
/usr/share/doc/packages/gappa/doc/manual/invoking.xml
/usr/share/doc/packages/gappa/doc/manual/logic.xml
/usr/share/doc/packages/gappa/doc/manual/roundings.xml
/usr/share/doc/packages/gappa/doc/manual/theorems.xml
/usr/share/doc/packages/gappa/doc/manual/warnings.xml
/usr/share/doc/packages/gappa/doc/manual/why.xml