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.20.1
flocq = 4.2.0
ocaml(AcyclicGraph) = 7d6f6f41e6654ec700c48847185f8f0c
ocaml(CArray) = 52805ea537a45eb7b2fe1ac21da721ef
ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af
ocaml(CClosure) = 4cd24e4e56601ebaed0b8e1d904dd7b0
ocaml(CDebug) = ea3fa658a43e6c997ea468cc68ab9a0e
ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
ocaml(CList) = 74ed3440e44051dc92c15b4c7d656688
ocaml(CMap) = 67c4f75a15f6fda5cbf5bbbf5048984c
ocaml(CPrimitives) = c3a41a9aab8c06fb98835783d3d2222d
ocaml(CSet) = 4de404c20f74eb409c938001bb27a287
ocaml(CSig) = a6cf83b81ffd74f97c597cc390600311
ocaml(CString) = c5c3d6f3f9cf4cb8f93d0c8025986769
ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
ocaml(CWarnings) = 70f929bbb43fbc4d5cfc4886eb1decdb
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(Constr) = d9a2f43fc53b9657eb838f5e340f200b
ocaml(Context) = 56f340eeb191ea59fec77a087db73500
ocaml(Conv_oracle) = 70aba33d6bf07b5e30ea048644c2c75f
ocaml(Conversion) = 1e3feac8ae07b75a7760ec01852bb8b4
ocaml(Cooking) = 74fca6c2e0050733f5ab329bb1153f3f
ocaml(Declarations) = 43b9bd868dc8f01a63a58345d53181bc
ocaml(Environ) = 0db743ea5b947e945fc2ee686a0007cf
ocaml(Esubst) = 390bdc705f5d80f53cb6426e55f564db
ocaml(Evar) = bd20560ff602c59cc662e1f6baac5bd4
ocaml(Exninfo) = 05f15e3d92bfba910269ee465c7bfa2b
ocaml(Float64) = 38fa7b2c3dc167ff82545567933adc4a
ocaml(Genlambda) = 6d8accd466098a9ddb6278b4638b3e1c
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Int) = e355c9ce9f69ee6c0cca013112534821
ocaml(Loc) = eaef232e17a0ee56301cc76296f2c9d6
ocaml(Mod_subst) = cb6d3e296fb26d43126a1e5c81adeb26
ocaml(NCoq_Arith_Factorial) = a3cd4409c2325c74bed992d91728850e
ocaml(NCoq_Arith_PeanoNat) = 0c31b65d0871ca0be88687f3197fa4d8
ocaml(NCoq_Bool_Bool) = d5068cfc2728d12851890ffc1ecb889d
ocaml(NCoq_Bool_Sumbool) = 477271c4e73f9b7ea89a37f573fec698
ocaml(NCoq_Classes_DecidableClass) = 61086f7ab0320187f9ca43fa511303fe
ocaml(NCoq_Classes_Morphisms) = 660130eb1596f1b3a4c4e6ea1b0ee647
ocaml(NCoq_Classes_Morphisms_Prop) = 364b7d9096a715662369de7cfdd774d8
ocaml(NCoq_Classes_RelationClasses) = d5375bfbc779685ec647eecd85715c7c
ocaml(NCoq_Floats_FloatAxioms) = 2a998dcdab08002cc07efb975fbaba8a
ocaml(NCoq_Floats_FloatClass) = 7a5924e3d245fc40dc34d394393d2f8c
ocaml(NCoq_Floats_FloatOps) = 2d6247be562cd6039660c8d2ac9cd8cd
ocaml(NCoq_Floats_PrimFloat) = 3fd544697c2acb1515c5af29d03d031b
ocaml(NCoq_Floats_SpecFloat) = d7552a8b2552dec5cfbf83e64598b430
ocaml(NCoq_Init_Datatypes) = a421552ee659f9b137aefee27bfbd0ab
ocaml(NCoq_Init_Decimal) = f2122c0f46b60a26a847171e4fb047cb
ocaml(NCoq_Init_Hexadecimal) = 416cde394cdf1ef9f0fc69b58d17def8
ocaml(NCoq_Init_Logic) = a86210fec17fb06a7cd67fa323a724f6
ocaml(NCoq_Init_Nat) = bc25d84007128baa90da1db4c7a34e35
ocaml(NCoq_Init_Number) = 74c2c5571df5d1531d17ab9b63d72c74
ocaml(NCoq_Init_Peano) = ccbdbdd916a8a9954c4456b6d881dc7a
ocaml(NCoq_Init_Specif) = 337548062f75b84c2623f74851d92f73
ocaml(NCoq_Init_Wf) = daffb2753e39463f7e5a839e3e2f908c
ocaml(NCoq_Lists_List) = 14e415d008bac8fa12482ff76ff48508
ocaml(NCoq_NArith_BinNat) = d7c48c5f670d74c24fbdec72f95fcce1
ocaml(NCoq_Numbers_BinNums) = fec7e95b6cca8899babc1b8730371532
ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 7005416d6d67228e3619d9876535a381
ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = de1b09ed7c61fc6a38bcfed6070e55de
ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 88c7a4b874847f8f91f1c1e791478049
ocaml(NCoq_PArith_BinPos) = e7b3cc0cecdaae23b2c53bc0d3363693
ocaml(NCoq_Program_Basics) = 32a7b4b24030b5f3966a3bfbcf9a91ea
ocaml(NCoq_QArith_QArith_base) = b7ecabf127ac7c31660e0225315a4f0e
ocaml(NCoq_QArith_Qabs) = 344a7445d463db48f1a70327f9d69817
ocaml(NCoq_QArith_Qreduction) = 064d20109d4b84ba33749bae5d8bd415
ocaml(NCoq_Reals_Alembert) = 2060a79c9a1721a79e1bc352ea1fc71a
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 493ab0a3f29acc8b29bcb7a0a9d82153
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 219229bb5d71cb96465c22d4eaab5026
ocaml(NCoq_Reals_Cauchy_QExtra) = 37623a4b174f4017f16bd9033590d110
ocaml(NCoq_Reals_RIneq) = db0408989ef01f3aaeaf712f94d51674
ocaml(NCoq_Reals_R_sqrt) = 4d6892f15fe1820e7feaedcf7ddd275b
ocaml(NCoq_Reals_Raxioms) = c16b0b0e6894519971d65d43a0c754ef
ocaml(NCoq_Reals_Rbasic_fun) = 506605248b611b8c4322edd9105ec102
ocaml(NCoq_Reals_Rdefinitions) = 4dbd327875b3ca866e0ec7cae2cda5f7
ocaml(NCoq_Reals_Rfunctions) = 45791c518909817d127c9a3ef24f8771
ocaml(NCoq_Reals_Rpow_def) = c7f4133c5558ddf7a9bb45be91ddea42
ocaml(NCoq_Reals_Rpower) = 83b3c3800b6e1c894745b507af5b2866
ocaml(NCoq_Reals_Rsqrt_def) = d5ef60589373f6c12a077d2123445789
ocaml(NCoq_Reals_Rtrigo_def) = be98dd5439b255b6cca087d063c1f92e
ocaml(NCoq_Reals_Rtrigo_fun) = b41a39c520e0fc25c48949b6b578eea4
ocaml(NCoq_Relations_Relation_Definitions) = 7406c4e32bf79e25cc513f721fbf8d6b
ocaml(NCoq_Structures_OrdersTac) = d924254308dc6e7409ea803a4e5e840a
ocaml(NCoq_ZArith_BinInt) = 4cb59aeb0aecb48c934a64ddc857f748
ocaml(NCoq_ZArith_BinIntDef) = 950908a49f10bde33d7d45e2d15925fc
ocaml(NCoq_ZArith_ZArith_dec) = 09c6b3f2381f3c5b745c1d9da409ab86
ocaml(NCoq_ZArith_Zbool) = 05c6c83b08c6b6f80b6d16b9b52afedf
ocaml(NCoq_ZArith_Zeven) = 83f1f09b221b7a75760d92446b93d20d
ocaml(NCoq_ZArith_Znat) = c8c183709fffd8fddc604651e180aa54
ocaml(NCoq_ZArith_Zpower) = aa760f8437c77dc4857fc068bfc5e0fc
ocaml(NCoq_setoid_ring_Ring_theory) = 53d862f8e56d81d9712f95168b29cb35
ocaml(NFlocq_Calc_Bracket) = 389d45d5b170906244aeb97b1d703603
ocaml(NFlocq_Calc_Operations) = f04189456cd8a2abcf16f6d46b5b61ed
ocaml(NFlocq_Calc_Round) = 16ccff68d7cf1174f138b074cdf1f830
ocaml(NFlocq_Core_Defs) = 6efc6028b9eab5c7eab0e4f40f39c953
ocaml(NFlocq_Core_Digits) = a7c41a044e408950235b6c1ff120bb7e
ocaml(NFlocq_Core_FIX) = f8463392e16e16b46175157fdcd9e714
ocaml(NFlocq_Core_FLT) = fac54a7edcdb9190e540fd607079749c
ocaml(NFlocq_Core_Generic_fmt) = 0429902256a204aebe1ef490d21e7121
ocaml(NFlocq_Core_Raux) = 7b12542d836d9195ce5f6bb355efc9d8
ocaml(NFlocq_Core_Ulp) = b18cdbecd1a1bafccea0d0616cdc96a2
ocaml(NFlocq_Core_Zaux) = 64299bc293db1fee2b2d0f1a74abbe99
ocaml(NFlocq_IEEE754_Binary) = ad61ccd7568d4676fc68c45c1eccd185
ocaml(NFlocq_IEEE754_BinarySingleNaN) = c9591fc37c8177ec7c0779e21f9e1e7f
ocaml(NFlocq_Pff_Pff) = 4c985ba693c5e07db560469d351a90c2
ocaml(Names) = 566f472101801fa1c87a1167ca0b5383
ocaml(Nativecode) = d4b78c50186203615d62d60e25dddb76
ocaml(Nativeconv) = 8cc71a6ebb59c2e11243598d3c62fe7d
ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67
ocaml(Nativevalues) = d135b18982f8a27e14381ddaba3846ab
ocaml(ObjFile) = 7c2f2814659d8fb62cad6f754c372fd1
ocaml(Opaqueproof) = 781301b955ef281bcbc4f8bc72be798f
ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
ocaml(Partial_subst) = 4e44aa357f36694264d235f97cf59509
ocaml(Pp) = 48dee692a8a4a98050d89390a885cb44
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Pstring) = 06f73fb8f74fc8bbfaca8cda68c39b02
ocaml(Range) = 346d147227354e938de6b932d04d6b3d
ocaml(RedFlags) = 03bbdbe1db52f5b75b53d1e7289f3572
ocaml(Retroknowledge) = 407dd2fd27d07edc66b77df9efd64792
ocaml(Rtree) = 6cc80d8d547d5d7ac6b1a66a428c4df0
ocaml(SList) = 87266e831aa0fb41e7e69d43dba10e03
ocaml(Sorts) = a9cd9362ac00cead91f12da4f156a6c5
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290
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__String) = 4933e1d855f54bfed0231b038f0dbb87
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(TransparentState) = bb3f8c077ad0977fc9afcf132675cfa2
ocaml(UGraph) = de7aadc87d3ea801803eafac8a0e9b74
ocaml(UVars) = 251607e37c9c6a62f3e507e113327a8b
ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
ocaml(Univ) = e7045c218529ddd1e2397001d5330d5b
ocaml(Unix) = d81af7730241956ddaf1c2d19ed2cb1c
ocaml(Util) = 32bb3900701332a46d05dc64176ded2a
ocaml(Values) = e7d4336816bd6dd07de2337fcd520a2c
ocaml(Vars) = 05fc52cd26326a59f49237f07edc4d96
ocaml(Vmbytecodes) = 2591cc1c93a2566a8d3c6a3941afb122
ocaml(Vmemitcodes) = 62d188f74bab969697583c9ea4c4a442
ocaml(Vmlibrary) = d517d2e6033fd925446509493a0fe071
ocaml(Vmvalues) = 00afce9a7690fce3ba6318a2f81aa076
ocamlx(CamlinternalLazy) = f44157c73467ba29e80409643354051e
ocamlx(NFlocq_Calc_Bracket) = 454f2af8bf0feca266b030b5c98e6188
ocamlx(NFlocq_Calc_Operations) = d9a0c51056c7852a141252b6c3619a14
ocamlx(NFlocq_Calc_Round) = e40cea962d507907c12619a571f20d2a
ocamlx(NFlocq_Core_Defs) = 7aaaa72229eb6a29b9b7619b2a0f65fb
ocamlx(NFlocq_Core_Digits) = c2a0206b9933aac8cfe4cbc9e8b1714a
ocamlx(NFlocq_Core_FIX) = 2987d43958462910d993a06f1a8a8cef
ocamlx(NFlocq_Core_FLT) = 0a061f3c36b0b76c4378922e5f526d54
ocamlx(NFlocq_Core_Generic_fmt) = 531127a7d9ea376bfe9f00361c6717d5
ocamlx(NFlocq_Core_Raux) = a37f1a71c10a2df5cb8e890b0b2a9890
ocamlx(NFlocq_Core_Ulp) = 9864e13bf5af37fc1970a007a044e7c5
ocamlx(NFlocq_Core_Zaux) = 707c85c1535afd959fdfa5d86551928d
ocamlx(NFlocq_IEEE754_Binary) = 166cf48e6a8caf4adf94161305521283
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = b1f1fdac8a86fa7286d17a0f9ad93e1f
ocamlx(NFlocq_Pff_Pff) = 4d7e6b1e085f4433d6a7ea0f32e5bd34
ocamlx(Nativecode) = ecebd771e6de49309a4ce2f14c1d62cd
ocamlx(Nativevalues) = 2be32c22ae3cea10eb9ce39cc6c51bdf
ocamlx(UVars) = 392f7506065ed86e27b37839bce5e2e4
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 134 files more in these RPM.