Content of RPM flocq-2.6.0-4.1.x86_64.rpm :
/usr/lib64/coq/user-contrib/Flocq
/usr/lib64/coq/user-contrib/Flocq/Appli
/usr/lib64/coq/user-contrib/Flocq/Appli/Fappli_IEEE.vo
/usr/lib64/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo
/usr/lib64/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo
/usr/lib64/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.vo
/usr/lib64/coq/user-contrib/Flocq/Calc
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_bracket.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_digits.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_div.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_ops.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_round.vo
/usr/lib64/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.vo
/usr/lib64/coq/user-contrib/Flocq/Core
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_FIX.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_FLT.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_FLX.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_Raux.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_Zaux.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_defs.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_digits.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_rnd.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo
/usr/lib64/coq/user-contrib/Flocq/Core/Fcore_ulp.vo
/usr/lib64/coq/user-contrib/Flocq/Flocq_version.vo
/usr/lib64/coq/user-contrib/Flocq/Prop
/usr/lib64/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo
/usr/lib64/coq/user-contrib/Flocq/Prop/Fprop_relative.vo
/usr/share/doc/packages/flocq
/usr/share/doc/packages/flocq/AUTHORS
/usr/share/doc/packages/flocq/COPYING
/usr/share/doc/packages/flocq/NEWS
/usr/share/doc/packages/flocq/README