Content of RPM flocq-4.2.0-21.9.i586.rpm :
/usr/lib/coq/user-contrib/Flocq
/usr/lib/coq/user-contrib/Flocq/.coq-native
/usr/lib/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmxs
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmxs
/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/Plus.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/.coq-native
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmxs
/usr/lib/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmxs
/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/.coq-native
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmxs
/usr/lib/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
/usr/lib/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
/usr/lib/coq/user-contrib/Flocq/Pff
/usr/lib/coq/user-contrib/Flocq/Pff/.coq-native
/usr/lib/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Nat2Z_compat.cmxs
/usr/lib/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmxs
/usr/lib/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmxs
/usr/lib/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmxs
/usr/lib/coq/user-contrib/Flocq/Pff/Nat2Z_compat.vo
/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/.coq-native
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmxs
/usr/lib/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmxs
/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/NEWS.md
/usr/share/doc/packages/flocq/README.md
/usr/share/licenses/flocq
/usr/share/licenses/flocq/AUTHORS
/usr/share/licenses/flocq/COPYING