Content of RPM flocq-3.0.0-3.34.i586.rpm :
/usr/lib/coq/user-contrib/Flocq
/usr/lib/coq/user-contrib/Flocq/Calc
/usr/lib/coq/user-contrib/Flocq/Calc/Bracket.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Div.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Operations.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Round.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Sqrt.vo
/usr/lib/coq/user-contrib/Flocq/Core
/usr/lib/coq/user-contrib/Flocq/Core/Core.vo
/usr/lib/coq/user-contrib/Flocq/Core/Defs.vo
/usr/lib/coq/user-contrib/Flocq/Core/Digits.vo
/usr/lib/coq/user-contrib/Flocq/Core/FIX.vo
/usr/lib/coq/user-contrib/Flocq/Core/FLT.vo
/usr/lib/coq/user-contrib/Flocq/Core/FLX.vo
/usr/lib/coq/user-contrib/Flocq/Core/FTZ.vo
/usr/lib/coq/user-contrib/Flocq/Core/Float_prop.vo
/usr/lib/coq/user-contrib/Flocq/Core/Generic_fmt.vo
/usr/lib/coq/user-contrib/Flocq/Core/Raux.vo
/usr/lib/coq/user-contrib/Flocq/Core/Round_NE.vo
/usr/lib/coq/user-contrib/Flocq/Core/Round_pred.vo
/usr/lib/coq/user-contrib/Flocq/Core/Ulp.vo
/usr/lib/coq/user-contrib/Flocq/Core/Zaux.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754
/usr/lib/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib/coq/user-contrib/Flocq/Pff
/usr/lib/coq/user-contrib/Flocq/Pff/Pff.vo
/usr/lib/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
/usr/lib/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
/usr/lib/coq/user-contrib/Flocq/Prop
/usr/lib/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Double_rounding.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Mult_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Plus_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Relative.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Round_odd.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Sterbenz.vo
/usr/lib/coq/user-contrib/Flocq/Version.vo
/usr/share/doc/packages/flocq
/usr/share/doc/packages/flocq/AUTHORS
/usr/share/doc/packages/flocq/COPYING
/usr/share/doc/packages/flocq/ChangeLog