Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
flocq-devel
flocq-devel(x86-32)
ocaml(NFlocq_Calc_Bracket)
ocaml(NFlocq_Calc_Div)
ocaml(NFlocq_Calc_Operations)
ocaml(NFlocq_Calc_Plus)
ocaml(NFlocq_Calc_Round)
ocaml(NFlocq_Calc_Sqrt)
ocaml(NFlocq_Core_Core)
ocaml(NFlocq_Core_Defs)
ocaml(NFlocq_Core_Digits)
ocaml(NFlocq_Core_FIX)
ocaml(NFlocq_Core_FLT)
ocaml(NFlocq_Core_FLX)
ocaml(NFlocq_Core_FTZ)
ocaml(NFlocq_Core_Float_prop)
ocaml(NFlocq_Core_Generic_fmt)
ocaml(NFlocq_Core_Raux)
ocaml(NFlocq_Core_Round_NE)
ocaml(NFlocq_Core_Round_pred)
ocaml(NFlocq_Core_Ulp)
ocaml(NFlocq_Core_Zaux)
ocaml(NFlocq_IEEE754_Binary)
ocaml(NFlocq_IEEE754_BinarySingleNaN)
ocaml(NFlocq_IEEE754_Bits)
ocaml(NFlocq_IEEE754_Int63Compat)
ocaml(NFlocq_IEEE754_Int63Copy)
ocaml(NFlocq_IEEE754_PrimFloat)
ocaml(NFlocq_Pff_Nat2Z_compat)
ocaml(NFlocq_Pff_Pff)
ocaml(NFlocq_Pff_Pff2Flocq)
ocaml(NFlocq_Pff_Pff2FlocqAux)
ocaml(NFlocq_Prop_Div_sqrt_error)
ocaml(NFlocq_Prop_Double_rounding)
ocaml(NFlocq_Prop_Mult_error)
ocaml(NFlocq_Prop_Plus_error)
ocaml(NFlocq_Prop_Relative)
ocaml(NFlocq_Prop_Round_odd)
ocaml(NFlocq_Prop_Sterbenz)
ocaml(NFlocq_Version)
ocamlx(NFlocq_Calc_Bracket)
ocamlx(NFlocq_Calc_Div)
ocamlx(NFlocq_Calc_Operations)
ocamlx(NFlocq_Calc_Plus)
ocamlx(NFlocq_Calc_Round)
ocamlx(NFlocq_Calc_Sqrt)
ocamlx(NFlocq_Core_Core)
ocamlx(NFlocq_Core_Defs)
ocamlx(NFlocq_Core_Digits)
ocamlx(NFlocq_Core_FIX)
ocamlx(NFlocq_Core_FLT)
ocamlx(NFlocq_Core_FLX)
ocamlx(NFlocq_Core_FTZ)
ocamlx(NFlocq_Core_Float_prop)
ocamlx(NFlocq_Core_Generic_fmt)
ocamlx(NFlocq_Core_Raux)
ocamlx(NFlocq_Core_Round_NE)
ocamlx(NFlocq_Core_Round_pred)
ocamlx(NFlocq_Core_Ulp)
ocamlx(NFlocq_Core_Zaux)
ocamlx(NFlocq_IEEE754_Binary)
ocamlx(NFlocq_IEEE754_BinarySingleNaN)
ocamlx(NFlocq_IEEE754_Bits)
ocamlx(NFlocq_IEEE754_Int63Compat)
ocamlx(NFlocq_IEEE754_Int63Copy)
ocamlx(NFlocq_IEEE754_PrimFloat)
ocamlx(NFlocq_Pff_Nat2Z_compat)
ocamlx(NFlocq_Pff_Pff)
ocamlx(NFlocq_Pff_Pff2Flocq)
ocamlx(NFlocq_Pff_Pff2FlocqAux)
ocamlx(NFlocq_Prop_Div_sqrt_error)
ocamlx(NFlocq_Prop_Double_rounding)
ocamlx(NFlocq_Prop_Mult_error)
ocamlx(NFlocq_Prop_Plus_error)
ocamlx(NFlocq_Prop_Relative)
ocamlx(NFlocq_Prop_Round_odd)
ocamlx(NFlocq_Prop_Sterbenz)
ocamlx(NFlocq_Version)

Requires :

coq-devel = 8.19.1
flocq = 4.1.4
ocaml(AcyclicGraph) = 0b68cfcaadb3c806364d7fffcf0eedbc
ocaml(CArray) = 3bf67d1381824155797389de8a32d728
ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af
ocaml(CClosure) = 2e2f9a10ee6236155ea7c180c15219fd
ocaml(CDebug) = ea3fa658a43e6c997ea468cc68ab9a0e
ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
ocaml(CList) = 9b21401c3948cbca29a4ed09f8617f59
ocaml(CMap) = 5beda32be3f4c80fa6a6826b4428c789
ocaml(CPrimitives) = 81d9cb451b6f7b7a5fa05ce8e048a60e
ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
ocaml(CWarnings) = 23785d9e8686e44b303fd8a6813ef8e7
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(Constr) = dc9804b148fbe82e65e93a482ba59244
ocaml(Context) = 3933f1ab338ee61763005f3b5f25381d
ocaml(Conv_oracle) = 69079ecba1b4bda1ced0cce83da34f5d
ocaml(Conversion) = 53ebc4054a9141badab14798256a6d43
ocaml(Cooking) = ea962da9e714bfc1c3084a99fb4db150
ocaml(Declarations) = d6c78c34f5319bdfec7dbd52ca5e3862
ocaml(Environ) = 3eff3b0a41df8fe13a714b5a21030242
ocaml(Esubst) = d074a53571f023f8ad49d9be82ff4cc0
ocaml(Evar) = 9e5d51e30cc2f36340fbe24cb0ca1631
ocaml(Exninfo) = 1108fbdf2827b6d2494e3e4bca2b55f0
ocaml(Float64) = 919fb2eabc120f3c4e0129cfc56531e2
ocaml(Genlambda) = 13e666c19c5898189056aaaa26c01c1e
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Int) = d849ad13bb5e1aee66cf739906fe66d5
ocaml(Loc) = eaef232e17a0ee56301cc76296f2c9d6
ocaml(Mod_subst) = 5cdeae6df89af551f3061c0f89fe63c5
ocaml(NCoq_Arith_Factorial) = 74636570094a51c65c7a64bd860dccbd
ocaml(NCoq_Arith_PeanoNat) = a230c351ba814142901a8a8fedecdb50
ocaml(NCoq_Bool_Bool) = b28801514586be0df955a9100cc62783
ocaml(NCoq_Bool_Sumbool) = b173e42fba580819735b0b725a20fa84
ocaml(NCoq_Classes_DecidableClass) = 8ed5a0c256aaa852a5a4b7b9ee69de34
ocaml(NCoq_Classes_Morphisms) = 827f81b5444a60bb4457f9f4188fb6cc
ocaml(NCoq_Classes_Morphisms_Prop) = c18bd3b38469eb8750ed4b0661c95dd9
ocaml(NCoq_Classes_RelationClasses) = ec6b95ad9fbd57d4d38e4064acfb342c
ocaml(NCoq_Floats_FloatAxioms) = 89821880c35414938530ba325640451f
ocaml(NCoq_Floats_FloatClass) = 057cc440e308b22529dc65d9890902cb
ocaml(NCoq_Floats_FloatOps) = cb6374f51ece86e74eb3d8222405ba16
ocaml(NCoq_Floats_PrimFloat) = 8e6817f416fe69f08f07533e52c9a60d
ocaml(NCoq_Floats_SpecFloat) = 3c90269b457eaefe36319a7344e593e6
ocaml(NCoq_Init_Datatypes) = c5367d236bb70435ab5a9b9bcf1660bc
ocaml(NCoq_Init_Decimal) = 5295285fb1b605680dcede7b75833015
ocaml(NCoq_Init_Hexadecimal) = efb4c2fb5bafa103444d5b4e098cb196
ocaml(NCoq_Init_Logic) = a1c06c7f6d095d5529e4eba734b1534a
ocaml(NCoq_Init_Nat) = 94202b9bf31c30303820409135f1a51b
ocaml(NCoq_Init_Number) = 9a8fe9fd48c57c8a7d5ab966bf119815
ocaml(NCoq_Init_Peano) = 630f463ee8d4131abac10ef493a70089
ocaml(NCoq_Init_Specif) = 34695b36d8b776c12bfdc0a53a71beb5
ocaml(NCoq_Init_Wf) = 2a22445d6a7608ce5fcb623c43769502
ocaml(NCoq_Lists_List) = 4cfc62ebfd0590b0f7f42b8bca74aa6f
ocaml(NCoq_NArith_BinNat) = 91cde5709d117ae58e9042fa02aa452c
ocaml(NCoq_Numbers_BinNums) = 6e88f590ef7fe5570fe9b29e25bd67de
ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = b1092d0af99679e244902ee9677da466
ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = b7879b2a064dd991e9aa59133fc50682
ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 9b813c442c0dbf9ed9ff94a55c75e1f3
ocaml(NCoq_PArith_BinPos) = eaba8d84d68e2fcb1bebd3e1237a31b5
ocaml(NCoq_Program_Basics) = fc92126fba114ea9d19ec8ea826a6c66
ocaml(NCoq_QArith_QArith_base) = ed39ef10f1cae8dca55d5bb50178d7d9
ocaml(NCoq_QArith_Qabs) = a46ba89f3f62aa3ecaa045b1100df781
ocaml(NCoq_QArith_Qreduction) = 8cc37e44017d56ad0a7c076047247ad2
ocaml(NCoq_Reals_Alembert) = 850bc2ef422524f5e5790d5fba4617f2
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 1940981b7a57f920bdc8d421fa316199
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 33ada5f1e75c4fbebad80e16f0b28bc7
ocaml(NCoq_Reals_Cauchy_QExtra) = 3934c3d82ca4be2dc3af903a27d6803e
ocaml(NCoq_Reals_RIneq) = 3c80c8f7a6f176220ed4d587ec16ae91
ocaml(NCoq_Reals_R_sqrt) = f82b84bb33013e31fc44317b89401fd7
ocaml(NCoq_Reals_Raxioms) = 624237e9c69e10c153b7b8fa386fce37
ocaml(NCoq_Reals_Rbasic_fun) = 9bde3d8fefc2939b3df14c585198ac85
ocaml(NCoq_Reals_Rdefinitions) = 3623519b4944ea0abafdcf1acb58f59b
ocaml(NCoq_Reals_Rfunctions) = 67317d50e28be313afb2e7b779285788
ocaml(NCoq_Reals_Rpow_def) = 0541343322032e1f2e55bcc0d6c141bd
ocaml(NCoq_Reals_Rpower) = 566b6412b9e36c5d58243a1beead672c
ocaml(NCoq_Reals_Rsqrt_def) = 664c52ddc52ce7a94dc741eba169a000
ocaml(NCoq_Reals_Rtrigo_def) = 353ea0570dccfc4f606ae4dd59003711
ocaml(NCoq_Reals_Rtrigo_fun) = 0aec29ccd251e0586998b37c10003bc4
ocaml(NCoq_Relations_Relation_Definitions) = b09f4010f2604b91d7cafd0b160c9f40
ocaml(NCoq_Structures_OrdersTac) = 8278f82e318b4aae970e76249acde456
ocaml(NCoq_ZArith_BinInt) = 46f1eca47417e8d1275b949a30d5cfaa
ocaml(NCoq_ZArith_BinIntDef) = 06e562778c5619c3ddc5749334ba0595
ocaml(NCoq_ZArith_ZArith_dec) = c9b79695247aeda028d975a1b639dd98
ocaml(NCoq_ZArith_Zbool) = 559b8492b0d13c216bd8032d65952066
ocaml(NCoq_ZArith_Zeven) = ceb8a77a2a9dbe7d9132586487a21b4a
ocaml(NCoq_ZArith_Znat) = 240b42a851e1328d9d8ccb12bc765079
ocaml(NCoq_ZArith_Zpower) = 9b312740a39679044b4269f517b8006c
ocaml(NCoq_setoid_ring_Ring_theory) = 1c39cdd41d11f8f4a65dffeb51be048d
ocaml(NFlocq_Calc_Bracket) = dea65c85581389806be205920fa03a87
ocaml(NFlocq_Calc_Operations) = 4f1f97d3e00ee97a2fedc3ed9e5ea06a
ocaml(NFlocq_Calc_Round) = 91456803b91989814e0390f94c7178eb
ocaml(NFlocq_Core_Defs) = 27f81d2766f301c466d2586212762063
ocaml(NFlocq_Core_Digits) = 4f0b94a5abbad9bfef0fab247e8f6bfa
ocaml(NFlocq_Core_FIX) = 88d1523817950e510bc43e76ec918f2e
ocaml(NFlocq_Core_FLT) = 213b8e98314495ae4c979c01472c1bbf
ocaml(NFlocq_Core_Generic_fmt) = 7fc5764d53551616b6ca5bff31055e07
ocaml(NFlocq_Core_Raux) = 41bf6d291b15eb87cfc923005474caf2
ocaml(NFlocq_Core_Ulp) = 815aba3930be852739dddca1277c1cb4
ocaml(NFlocq_Core_Zaux) = 28e10a136f186c6e4e3b5a363b7593fd
ocaml(NFlocq_IEEE754_Binary) = 9e41e473a1615556891e72555ad38d5d
ocaml(NFlocq_IEEE754_BinarySingleNaN) = 6313674712af6cf5dd21fbdb295b6af3
ocaml(NFlocq_Pff_Pff) = 0d20a4bc656738caf8f9ddbe9e94a6d2
ocaml(Names) = 7119fab945b0b3bd6b98c0f6f1380207
ocaml(Nativecode) = 033b11ce638c5d00c342138f06ae6ff6
ocaml(Nativeconv) = 5571d8f5ce78f9eeaad5b9a6b2d4322e
ocaml(Nativelib) = d85f7598170d518814e6a3870c185048
ocaml(Nativevalues) = b10de1a6d9de93823cccb527df8a243e
ocaml(Opaqueproof) = 2a794469dbb89e3c4f31c62644f15cbc
ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
ocaml(Pp) = 48dee692a8a4a98050d89390a885cb44
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Range) = 346d147227354e938de6b932d04d6b3d
ocaml(RedFlags) = fadc1c0c259949fb00b197352aacbcad
ocaml(Retroknowledge) = 1de8d7e8be1929a05adcf8375047f760
ocaml(Rtree) = 6cc80d8d547d5d7ac6b1a66a428c4df0
ocaml(SList) = 87266e831aa0fb41e7e69d43dba10e03
ocaml(Sorts) = e0c4b0e8c47ea6f62ecd6d631c6f8ea0
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(TransparentState) = 8822230bb34b15729bd37756a01439fe
ocaml(UGraph) = 5806b787777ca8d9d18b6c0718b0e92a
ocaml(UVars) = 8ab03efa7198c022819f8e7721708e92
ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
ocaml(Univ) = c775eebf205cd6baa2ebf6b5b9c9656c
ocaml(Unix) = d81af7730241956ddaf1c2d19ed2cb1c
ocaml(Util) = e3b469e08e5a734e86b97edc367694fc
ocaml(Values) = cb3ff5d5b665cb384fb59c1413884523
ocaml(Vmbytecodes) = 1e34136970384dc426317caa86cd38ef
ocaml(Vmemitcodes) = 228bb304a7797fc37f2c9128ac975aac
ocaml(Vmvalues) = 9fc9cbcd8d69320f364949af2a43026c
ocamlx(CamlinternalLazy) = e23fd0487622f5c877e809d411a1af92
ocamlx(NFlocq_Calc_Bracket) = 704cea87ccac03a6c2c8bcc494b2a37c
ocamlx(NFlocq_Calc_Operations) = 42584a887b8b14827a2cee4d1586f8c4
ocamlx(NFlocq_Calc_Round) = ff67622c244b2d43656e8d70bf52143b
ocamlx(NFlocq_Core_Defs) = 3f14c97bc7388308f794d9827750e7df
ocamlx(NFlocq_Core_Digits) = 85d68f27fdd05b1025eb526b9c80df9f
ocamlx(NFlocq_Core_FIX) = 12f09b60af2cb250df6fb64ed1098f83
ocamlx(NFlocq_Core_FLT) = 165c3186e7ca4b536fdee8f3eff29fac
ocamlx(NFlocq_Core_Generic_fmt) = 9b810137f7a723743a1349087bc7c341
ocamlx(NFlocq_Core_Raux) = 9ec1eea2fc04a46be9d0f56a72955dbe
ocamlx(NFlocq_Core_Ulp) = 8d958a8d66a7fc8aa9dea05bbf2f9563
ocamlx(NFlocq_Core_Zaux) = e650af7d422837b436ca487d05828a17
ocamlx(NFlocq_IEEE754_Binary) = c67fcba00e4f6a4093b652642105b83a
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 7ffa474094099c4f5fe1a6ba05200c56
ocamlx(NFlocq_Pff_Pff) = f881c4aab4380c0ade61932ca15bd8e6
ocamlx(Nativecode) = 79d386f44db99d3d689fa71618c3cddf
ocamlx(Nativevalues) = a4de5762271cb89ec66e692a8b0da4aa
ocamlx(UVars) = 1a4f6b04d2cda2b8adc930676fbaa93c
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

Content of 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.cmi
/usr/lib/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.cmx
/usr/lib/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.o
/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.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.o
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.o
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.o
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.o
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.o
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmi
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmx
/usr/lib/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.o
/usr/lib/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib/coq/user-contrib/Flocq/Calc/Plus.v
/usr/lib/coq/user-contrib/Flocq/Calc/Round.v
There is 133 files more in these RPM.