SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

flocq-devel rpm build for : OpenSuSE. For other distributions click flocq-devel.

Name : flocq-devel
Version : 4.2.0 Vendor : obs://build_opensuse_org/science
Release : lp155.20.1 Date : 2024-07-25 21:15:18
Group : Development/Libraries/Other Source RPM : flocq-4.2.0-lp155.20.1.src.rpm
Size : 5.43 MB
Packager : https://www_suse_com/
Summary : Development files for Flocq
Description :
This package contains development files for Flocq.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/15.5/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  flocq-devel-4.2.0-lp155.20.1.x86_64.rpm
     

Provides :
flocq-devel
flocq-devel(x86-64)
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_PrimFloat)
ocaml(NFlocq_Pff_Nat2Z_8_12)
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_PrimFloat)
ocamlx(NFlocq_Pff_Nat2Z_8_12)
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.13.2
flocq = 4.2.0
ocaml(AcyclicGraph) = a329890fd71a6fd89242d2a262184ef3
ocaml(Array) = b801116cd919b6519c3585bcf595e7e8
ocaml(Buffer) = 29acb19a28b900e41ca251c3107ecf7f
ocaml(CArray) = cff0b24b17fd0d26006a2b31a6ba5ad7
ocaml(CAst) = 25144ce7489aa9f49f9c9b2116d8dc45
ocaml(CEphemeron) = e58b9f06a300553ef3449193d47ccfe0
ocaml(CList) = 7678644fc26edee35a649b046eaa47d5
ocaml(CMap) = 105a75bd19c5a70a6ca498fff2bd5ba6
ocaml(CPrimitives) = a096a9570eba3482e86bc53b38d166ec
ocaml(CSet) = 85fbf47f75e83fdcaf2164fc9aeaa704
ocaml(CSig) = aa341c723449c82d1dfd26525af7c9b8
ocaml(CString) = f372e67b2e0194c382eba5f64363797a
ocaml(CUnix) = 6f4140f1b33ad9ca68af8b59c5498538
ocaml(CamlinternalFormatBasics) = cbd5f2d6b649925222e1e9fb63b89db6
ocaml(CamlinternalLazy) = c192b003950296350172551bf6076883
ocaml(Constr) = de0c7ca9f4cae8b453d3a0bbf1897774
ocaml(Context) = 7cffd8b3a3be0e272b6448080b2be0dd
ocaml(Conv_oracle) = d8663bffac88778c1b53066e2142bb8f
ocaml(Declarations) = 75e23ff790cd03238fd9abbea28cb192
ocaml(Environ) = 73e08402dcdb03a0de080b17a35d44a0
ocaml(Esubst) = 5a42747c76247d8bd8edd42c12851927
ocaml(Evar) = 5b99f825d5d7fc8158d1f29184627f91
ocaml(Exninfo) = 135ce5e7b3a080dfc957ccf2fe6ee4de
ocaml(Float64) = e8c918c98d7c9956aeea3f4cf30ec80a
ocaml(Format) = 4d105038ba0d7bcdd1de9ced9d28659e
ocaml(Future) = d91b52472789dce382b00a2ed693fa50
ocaml(Hashcons) = 54f7b4a67932f21301d2644a8802944d
ocaml(Hashset) = 9a48d72eeceb3170d65547e800615405
ocaml(Int) = f2b19385ed156f14a71c5528befba687
ocaml(Int32) = 9bbc1d113f6a37cdcc135f132a12dc30
ocaml(Int64) = e1332a5a27f912a62adac225e500efc7
ocaml(Lazy) = 9dddcac0bc002d8c0f511dd99ba4466f
ocaml(List) = d811c92e8d74500368d113948b851641
ocaml(Loc) = 8e1f5359064742881fac7444c7d51a5c
ocaml(Map) = 071552d2156a76152abe2a09b8ecf3c9
ocaml(Mod_subst) = f52ed0d5ba80aa2c85162fe094887ebe
ocaml(NCoq_Arith_Compare_dec) = 58075c3c3043ab61460f5f2b5da2e728
ocaml(NCoq_Arith_Factorial) = b35d0570c2f8e7a39dd9903bc0719c6f
ocaml(NCoq_Arith_Gt) = 8a77e2b5ca0456fc907af2498068038c
ocaml(NCoq_Arith_Le) = 816b3ef9fb6a8fb14a9c8ecfc587f5a2
ocaml(NCoq_Arith_Lt) = dbb969691f4968415a7752a5dd02848d
ocaml(NCoq_Arith_PeanoNat) = 44d86597c87d4cb090cded5a992ceec1
ocaml(NCoq_Bool_Bool) = 54d87a51c3e986f181661d4655d971db
ocaml(NCoq_Bool_Sumbool) = 95156f21c654736b811d687217e7da8d
ocaml(NCoq_Classes_Morphisms) = 4fd3d7a3718fa4b61efd9ac3dbe2bef1
ocaml(NCoq_Classes_Morphisms_Prop) = 223f99e1b7b79cb88bae0b5e189f2bff
ocaml(NCoq_Classes_RelationClasses) = 9b45c06bd34d30c0bbd2b2b830eec2ec
ocaml(NCoq_Floats_FloatAxioms) = 93589fe893586a1ae5d07f021ea28dd0
ocaml(NCoq_Floats_FloatClass) = 2440cf231f69a38423ddf8834384b6b2
ocaml(NCoq_Floats_FloatOps) = 3dead2498a2de26e77d8148eff17656e
ocaml(NCoq_Floats_PrimFloat) = cb040d5b91f2327f4eb21aba6f959193
ocaml(NCoq_Floats_SpecFloat) = ac4e73a18debc43820f68c7baf7bf097
ocaml(NCoq_Init_Datatypes) = 06f6c6a8c61abd5a9bc9b548af670042
ocaml(NCoq_Init_Decimal) = de344b4d4fd3ece618bcacd5fe2141a0
ocaml(NCoq_Init_Hexadecimal) = 98b963f5c3cd31eef8ef95fbe9ed973b
ocaml(NCoq_Init_Logic) = fe6fd27aa498c3ee0ae11f6138534ce8
ocaml(NCoq_Init_Nat) = 9703acbac90ea212b9f3bf98d18873c8
ocaml(NCoq_Init_Number) = c71df4030c5de35d661b70d04468e8a8
ocaml(NCoq_Init_Peano) = 0b8f8a6cc47e650e843f0c6ea11702f8
ocaml(NCoq_Init_Specif) = 138f17f7ebcb6afda37a15171154d204
ocaml(NCoq_Init_Wf) = 004115961522496d231e6d257fbdf0ad
ocaml(NCoq_Lists_List) = 942c69a095afdcc8806b4c82d2671375
ocaml(NCoq_NArith_BinNat) = d70b63878ea4637196cdbf2b9f6fc971
ocaml(NCoq_Numbers_BinNums) = bc48be4012bbb4e1dc4f37a8d6f76548
ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) = df9627e1afda5125aab3d90492962f38
ocaml(NCoq_Numbers_Cyclic_Int63_Int63) = b527817e6951d9d10c867ea1d525bcec
ocaml(NCoq_PArith_BinPos) = b5041808b0b1ff68d10e255fa0518048
ocaml(NCoq_Program_Basics) = 91e5670b2ba86e472b31a3d464e789a2
ocaml(NCoq_QArith_QArith_base) = dfbe39e035aa33f60dc66413fcd8e74d
ocaml(NCoq_QArith_Qabs) = b11bec09621ed3aedc0faca6ad64980c
ocaml(NCoq_QArith_Qreduction) = 84c91957cca93c143a101ebcfc72d3de
ocaml(NCoq_Reals_Alembert) = 15de4d00e217f4ee0447af7d28c3aaf6
ocaml(NCoq_Reals_ArithProp) = be2de5cb6926041bd032f194ff5e1d06
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 14422b37f3d846dd53a7f1152f1e2d55
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = f346164e5ac0600978e30f9b63ed2ed9
ocaml(NCoq_Reals_Cauchy_QExtra) = eb2565d8958fa4612682846d9b961dae
ocaml(NCoq_Reals_DiscrR) = 9f66ab4201be84384e0d6bab75ada069
ocaml(NCoq_Reals_PartSum) = 1296d128e236360639ea4276336b9a54
ocaml(NCoq_Reals_RIneq) = 074b7f3ce9ba67912c818283263824aa
ocaml(NCoq_Reals_R_sqrt) = d910cd66d2380cb5c2216fbe6fd1c307
ocaml(NCoq_Reals_Raxioms) = a0f47d07dcdc55a29f8e0d6688d1c72b
ocaml(NCoq_Reals_Rbasic_fun) = 93bd99a6779436b865a20912ca71bc11
ocaml(NCoq_Reals_Rdefinitions) = 3c643ce10db0d910f55222bf58cb14cc
ocaml(NCoq_Reals_Rfunctions) = d253448c3ba40db4fbfd44784d624daa
ocaml(NCoq_Reals_Rpow_def) = 5ef39488a0128b1029976787eb944bb0
ocaml(NCoq_Reals_Rpower) = 90de407b225cac226bfcc0bb9a67b625
ocaml(NCoq_Reals_Rseries) = f5f8270bf9eb817df2b2c85358b97680
ocaml(NCoq_Reals_Rsqrt_def) = 248538d183974ac09ac7ba3234584b5a
ocaml(NCoq_Reals_Rtrigo_def) = 3e931917b737131be30a0abdf54c7c43
ocaml(NCoq_Reals_Rtrigo_fun) = 3976a0396b7e5adf1cade0665d53685c
ocaml(NCoq_Relations_Relation_Definitions) = 6304ac257e4ce5e0f6cdd8948943d8a0
ocaml(NCoq_Structures_OrdersTac) = 819a9b32628af15e3eb15b1d0c673092
ocaml(NCoq_ZArith_BinInt) = 6809454a5d71fa865bd5261eb16bd75b
ocaml(NCoq_ZArith_BinIntDef) = 70d438a34fd229ddf61753c743e2ed98
ocaml(NCoq_ZArith_ZArith_dec) = 5af30f84b397297dc36ac51521e201fb
ocaml(NCoq_ZArith_Zbool) = 71595f378c63e72eff380f04a12da1b6
ocaml(NCoq_ZArith_Zeven) = ae5d9fe0fd2aa4bced3d412b054aec77
ocaml(NCoq_ZArith_Znat) = a79f268e2bedb391598b160d3c4b573e
ocaml(NCoq_ZArith_Zorder) = 807fe7266b6bf08dc96a01905d44298c
ocaml(NCoq_ZArith_Zpower) = ce8317af0a331388061bfe239bc3dd3b
ocaml(NCoq_setoid_ring_ArithRing) = 5a572a6d6c827cadfabdb9840de30e4e
ocaml(NCoq_setoid_ring_BinList) = 74f963fed6634bff2c3445b3788445b4
ocaml(NCoq_setoid_ring_Ring_polynom) = 6e357ee1c3c67df5704770782a50f44b
ocaml(NCoq_setoid_ring_Ring_tac) = c4e781023824521b45c2beb725a06952
ocaml(NCoq_setoid_ring_Ring_theory) = bccb0054198b2ed977f0a2c2ebf00ea5
ocaml(NFlocq_Calc_Bracket) = 43c3521e97db87f10f5fcadcfe7c4f9c
ocaml(NFlocq_Calc_Operations) = 3f12eaff2c4718ef20fea7d14ec4b795
ocaml(NFlocq_Calc_Round) = baf0599b54db2a463c3585fef78cff16
ocaml(NFlocq_Core_Defs) = ca63bdde16ca472237d6a67c867fc284
ocaml(NFlocq_Core_Digits) = a5e1f17b1e250029d1ce2bc09591e68e
ocaml(NFlocq_Core_FIX) = 3e34e4e5ebe0c87bf1a00375cf85d2a0
ocaml(NFlocq_Core_FLT) = 329803df6d17565eb8a11376458bdab9
ocaml(NFlocq_Core_Generic_fmt) = 95892b80948a1bce1d4cc0693cc814f0
ocaml(NFlocq_Core_Raux) = 94b7a3e4e26dc0da48be4c0680047eea
ocaml(NFlocq_Core_Ulp) = e42e1f5c7bdc68081e5eda39a2170964
ocaml(NFlocq_Core_Zaux) = 00d2b31e1490ab498c3d2aad5d904991
ocaml(NFlocq_IEEE754_Binary) = 60ea10e8f9c996fbe09f16cc6ded4677
ocaml(NFlocq_IEEE754_BinarySingleNaN) = 181d7bb990eed93a2f59698b7e0ee489
ocaml(NFlocq_Pff_Pff) = b80c68d353e52772676ba29f98906c0c
ocaml(Names) = dad6ffeb25a96c01eb575c0750c5a49b
ocaml(Nativecode) = 02850167c76d683e3a2c469c5c6a14c9
ocaml(Nativeconv) = 72a3d908c3d0e27b1a42e05e0ee9d1c1
ocaml(Nativelambda) = 8d6c06b714fbc4ed4ea59dc17c1744b6
ocaml(Nativelib) = 0ecfa637fad41fb8aca3d541b5361bf1
ocaml(Nativevalues) = 8ecb521753d5c1130bbd5d213a3a67cd
ocaml(Obj) = 08bac48fef2bdca984d647c3942da632
ocaml(Opaqueproof) = 4f5c49f51f97826051061f374e419342
ocaml(Parray) = 75dffad337ba6cbc2b5c21e52e8eec0e
ocaml(Pervasives) = 07ea9e20ae94d62c35cfecbe7d66d3ea
ocaml(Pp) = 86abc83cf1ce19b7a321d296e8486b3f
ocaml(Predicate) = 599fc7111921f6edb73f7f60b65de630
ocaml(Range) = 6a4d133a37345b7e301f9435c7141037
ocaml(Reduction) = 0ae8364b02066fcab03379838198508f
ocaml(Retroknowledge) = f115cf836c11ce152ed2d5241da0997b
ocaml(Rtree) = b10dde1465cc1ba194026ef9b647ed3c
ocaml(Set) = 34db6e81c810a8a5fd551f9bff9d706e
ocaml(Sorts) = 94db6b29a8d0103ef359add03683e39e
ocaml(Stream) = ffb37a7c688305395efc6afc39c32c09
ocaml(String) = 90043e0e1317e530d5640850963d44c0
ocaml(Term) = ad46d5bb72caa0a541d4d1c1984f644a
ocaml(TransparentState) = fa4c9397ef3bb06e3f6cfaffe3d8ce6a
ocaml(UGraph) = ee11ac9b6d7c6f218fa96f075e112387
ocaml(Uint63) = 07ac84bb4b6b009adf758513ea3d838c
ocaml(Univ) = 886e9cfe8385729f9e8d44d571792aa0
ocaml(Unix) = 5a9bdfb6a1907a5964517e3232eacb14
ocaml(Util) = f5cf233e4004ba30e404344344c02994
ocaml(Vmbytecodes) = 1ef414c882f532ea40dd172c882f1f9c
ocaml(Vmemitcodes) = 1b728ae2b3a69b54c691c942e27fe240
ocaml(Vmvalues) = 80e79e8d839d07730cf370ebf8bba0b9
ocamlx(CamlinternalLazy) = 7d9558389c9b2d9907d1e6eedaa58c9d
ocamlx(NCoq_Bool_Bool) = e2de654ce2e848d9208c55a7ada749f3
ocamlx(NCoq_Floats_FloatAxioms) = 983773d0d9cda0915ff742fb80c3829d
ocamlx(NCoq_Floats_FloatOps) = cab24cb31323fca3623622757168409d
ocamlx(NCoq_Floats_SpecFloat) = da4f2542dd057b782ed64d3320658505
ocamlx(NCoq_Init_Datatypes) = 04c7b85b97f7221bca5f259f1b6c0549
ocamlx(NCoq_Init_Logic) = 5a660f50084d65095d5108bfc4586968
ocamlx(NCoq_Init_Nat) = 245a5d9d2814c6d64dbda9dd2aacd81e
ocamlx(NCoq_Init_Specif) = c23d40ed57331ec9b516ffda67c04abc
ocamlx(NCoq_Lists_List) = 88370baedc1a8ecd90c15711f08c4e15
ocamlx(NCoq_NArith_BinNat) = ad4b7ded18344d00ca83b7e20605dd06
ocamlx(NCoq_Numbers_BinNums) = 2d69c34333381ea2f97aba1f40fbe913
ocamlx(NCoq_PArith_BinPos) = 8e694bb79454ba26566bd7c76371ef40
ocamlx(NCoq_Reals_RIneq) = aa2caceb53693dc010bff10b632e8bca
ocamlx(NCoq_Reals_R_sqrt) = 256fa4bffda4cfb3de66694410f2d8c9
ocamlx(NCoq_Reals_Rbasic_fun) = 4dd0e983d8683499c0722a77f1aaf7a5
ocamlx(NCoq_Reals_Rdefinitions) = 00564159f0d4b59129dff78193b42648
ocamlx(NCoq_Reals_Rfunctions) = 8f2a25908188703e2359184ade17f5ab
ocamlx(NCoq_Reals_Rpower) = c711012fac5ea478839451e03b262a6b
ocamlx(NCoq_ZArith_BinInt) = 308664e9c3ac99b5eb8817fd51282410
ocamlx(NCoq_ZArith_BinIntDef) = 7983a813aae33928d75c9e79d1df4409
ocamlx(NCoq_ZArith_ZArith_dec) = b7256de012b3ddba3526990c2ff0efe6
ocamlx(NCoq_ZArith_Zbool) = 759d46a3e2a43e57858be0da5305b81d
ocamlx(NCoq_ZArith_Zorder) = 6ce5c3984dec3c6ebc85259b6746a338
ocamlx(NCoq_ZArith_Zpower) = 9fb96cba9952ef24da064f7ae03c9df2
ocamlx(NFlocq_Calc_Bracket) = fc17b2c1d75724472ac217b439e197db
ocamlx(NFlocq_Calc_Operations) = d703d7d72e54cec1ebc71221ec944447
ocamlx(NFlocq_Calc_Round) = be23e4c1ac282f541b04e9fea61c56b1
ocamlx(NFlocq_Core_Defs) = 29fb9127120b058227d4db56252fa56a
ocamlx(NFlocq_Core_Digits) = cadba43a4f7730bdc334f93eb047e296
ocamlx(NFlocq_Core_FIX) = d0cb022865c33527807a92b84db7b61c
ocamlx(NFlocq_Core_FLT) = e4d7a2a16a5454789c4b29b87d4d28ae
ocamlx(NFlocq_Core_Generic_fmt) = 7c2b072f9f07dc9729f46512c336c9a0
ocamlx(NFlocq_Core_Raux) = 20ee0f11a4cb331bc4180308507f54d6
ocamlx(NFlocq_Core_Ulp) = 4a5a35833d596a3e9310f77e34cf9d45
ocamlx(NFlocq_Core_Zaux) = 6deeb29f4a1f23e5db53bb3410bf7f18
ocamlx(NFlocq_IEEE754_Binary) = 42318e025dc1ddca6e2e1078cea4732e
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 086fb64b2bfca2be671aec2d2e13f505
ocamlx(NFlocq_Pff_Pff) = 72c63d57b2669da2c484e707d598ea54
ocamlx(Nativecode) = 2e35bbfd8ff2337e7ee1c1ce4d6c279e
ocamlx(Nativevalues) = 89d8aa32cefcc36931e458840f31dc1c
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


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

 
ICM