Content of RPM gappalib-coq-1.3.3-1.fc28.i686.rpm :
/usr/lib/.build-id
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/7753a822af0499b6a30bb772c98e540d5afc53
/usr/lib/coq/user-contrib/Gappa
/usr/lib/coq/user-contrib/Gappa/Gappa_common.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_decimal.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_definitions.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_dyadic.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_fixed.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_float.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_library.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_obfuscate.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_abs.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_bnd.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_nzr.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_rel.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_real.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_rewriting.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_round.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_round_aux.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_round_def.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_tactic.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_tree.vo
/usr/lib/coq/user-contrib/Gappa/Gappa_user.vo
/usr/lib/coq/user-contrib/Gappa/gappatac.cmo
/usr/lib/coq/user-contrib/Gappa/gappatac.cmxs
/usr/share/doc/gappalib-coq
/usr/share/doc/gappalib-coq/AUTHORS
/usr/share/doc/gappalib-coq/NEWS
/usr/share/doc/gappalib-coq/README
/usr/share/licenses/gappalib-coq
/usr/share/licenses/gappalib-coq/COPYING