Content of RPM flocq-2.5.1-2.fc24.i686.rpm :
/usr/lib/coq/user-contrib/Flocq
/usr/lib/coq/user-contrib/Flocq/Appli
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.vo
/usr/lib/coq/user-contrib/Flocq/Calc
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.vo
/usr/lib/coq/user-contrib/Flocq/Core
/usr/lib/coq/user-contrib/Flocq/Core/Fcore.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.vo
/usr/lib/coq/user-contrib/Flocq/Flocq_version.vo
/usr/lib/coq/user-contrib/Flocq/Prop
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.vo
/usr/share/doc/flocq
/usr/share/doc/flocq/AUTHORS
/usr/share/doc/flocq/NEWS
/usr/share/doc/flocq/README
/usr/share/doc/flocq/html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_IEEE.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_IEEE_bits.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_double_round.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_rnd_odd.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_bracket.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_digits.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_div.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_ops.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_round.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_sqrt.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FIX.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FLT.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FLX.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FTZ.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_Raux.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_Zaux.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_defs.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_digits.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_float_prop.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_generic_fmt.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_rnd.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_rnd_ne.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_ulp.html
/usr/share/doc/flocq/html/Flocq.Flocq_version.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_Sterbenz.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_div_sqrt_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_mult_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_plus_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_relative.html
/usr/share/doc/flocq/html/coqdoc.css
/usr/share/doc/flocq/html/index.html
/usr/share/doc/flocq/html/toc.html
/usr/share/licenses/flocq
/usr/share/licenses/flocq/COPYING