Content of RPM flocq-source-3.0.0-3.34.x86_64.rpm :
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Core.v
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib64/coq/user-contrib/Flocq/Version.v