Content of RPM gappalib-coq-1.3.2-10.fc27.i686.rpm :
/usr/lib/.build-id
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/600340613408a52bd40e6dc0efa0d2fe43de34
/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