flocq-devel-4.2.0-1.2 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

This package contains development files for Flocq.

Provides

• flocq-devel
• flocq-devel(riscv-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_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.0
• flocq = 4.2.0
• ocaml(AcyclicGraph) = 7d6f6f41e6654ec700c48847185f8f0c
• ocaml(CArray) = 52805ea537a45eb7b2fe1ac21da721ef
• ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af
• ocaml(CClosure) = 940119f6c0a17943365154908803c4c7
• 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) = 5c78c87623d37007ba1749ae9dcd3c7d
• ocaml(Context) = 48dddbc60e3def1562984e8bcff7664c
• ocaml(Conv_oracle) = 70aba33d6bf07b5e30ea048644c2c75f
• ocaml(Conversion) = 1e3feac8ae07b75a7760ec01852bb8b4
• ocaml(Cooking) = 74fca6c2e0050733f5ab329bb1153f3f
• ocaml(Declarations) = 43b9bd868dc8f01a63a58345d53181bc
• ocaml(Environ) = 688c4492277015bf748886b236a4290c
• ocaml(Esubst) = 390bdc705f5d80f53cb6426e55f564db
• ocaml(Evar) = bd20560ff602c59cc662e1f6baac5bd4
• ocaml(Exninfo) = 05f15e3d92bfba910269ee465c7bfa2b
• ocaml(Float64) = 38fa7b2c3dc167ff82545567933adc4a
• ocaml(Genlambda) = 8515abef670ee829e3b0af698b0ae15d
• ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
• ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
• ocaml(Int) = e355c9ce9f69ee6c0cca013112534821
• ocaml(Loc) = eaef232e17a0ee56301cc76296f2c9d6
• ocaml(Mod_subst) = cb6d3e296fb26d43126a1e5c81adeb26
• ocaml(NCoq_Arith_Factorial) = daf5a19765af19f9090bb3d49c5143b9
• ocaml(NCoq_Arith_PeanoNat) = 25d28d695d1c6b3d81a402f15129a2a9
• ocaml(NCoq_Bool_Bool) = e4444c30bf0fb33deb586239f7356bca
• ocaml(NCoq_Bool_Sumbool) = 114d3f00e5c6f50b66cfa4a40b46548e
• ocaml(NCoq_Classes_DecidableClass) = a4a5ee33da25c5d671a163608dbbde79
• ocaml(NCoq_Classes_Morphisms) = f809cb0b27d9a7a55c1722050c782337
• ocaml(NCoq_Classes_Morphisms_Prop) = 1730e1b7b2cc4f570fe772f0fa5d222b
• ocaml(NCoq_Classes_RelationClasses) = 296b82b40aa8f0a9fcad2811b4528951
• ocaml(NCoq_Floats_FloatAxioms) = ef15aeaebfc83e110e35851f0e4d3b4e
• ocaml(NCoq_Floats_FloatClass) = 7a5924e3d245fc40dc34d394393d2f8c
• ocaml(NCoq_Floats_FloatOps) = d15c591433ac00bf7b38464025c2b5b0
• ocaml(NCoq_Floats_PrimFloat) = f7e39e59420766ce16ebf8e8ff934611
• ocaml(NCoq_Floats_SpecFloat) = 9edf8454519dd7719ec54944bd51165f
• ocaml(NCoq_Init_Datatypes) = a0155f4eb94a36ef52ebc16a6c758e0c
• ocaml(NCoq_Init_Decimal) = 2355146dfb1dcaddff88d93df3b321a8
• ocaml(NCoq_Init_Hexadecimal) = ffc49a542ae8f75a731e1495d3905428
• ocaml(NCoq_Init_Logic) = dc33528a62da67738e163dc68076aa29
• ocaml(NCoq_Init_Nat) = 0f53e77d7e1a3c13f3ea7f4dc9057091
• ocaml(NCoq_Init_Number) = ac704af42a9df9e950b9c7e8ac606b45
• ocaml(NCoq_Init_Peano) = 633fba36d293296fc3e06dd3784e0f4b
• ocaml(NCoq_Init_Specif) = e7fb1108db25ec567f75d2ea5edec301
• ocaml(NCoq_Init_Wf) = 535bac5cf05dd24058990d099ee26d62
• ocaml(NCoq_Lists_List) = 52c115d267a9296d04b7c16c4bac1fa7
• ocaml(NCoq_NArith_BinNat) = bf21babdd156953e0cf39a0d765bcba0
• ocaml(NCoq_Numbers_BinNums) = bf769c3ec55266af0e52afbfc207494c
• ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 7005416d6d67228e3619d9876535a381
• ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = faef4367b65122bd9e454163b428b5f5
• ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = fd329c8161417013139c7da9e16dd3ea
• ocaml(NCoq_PArith_BinPos) = 0901b2fcaa8d1516944fe4d7ffd07d1a
• ocaml(NCoq_Program_Basics) = 32a7b4b24030b5f3966a3bfbcf9a91ea
• ocaml(NCoq_QArith_QArith_base) = 48b7528b1b449572a5c13562679abb2a
• ocaml(NCoq_QArith_Qabs) = 5a4c2141f73b6c2038732b899ea5f1c9
• ocaml(NCoq_QArith_Qreduction) = 6e53f756837b35b953bfcc4503eed79c
• ocaml(NCoq_Reals_Alembert) = 2060a79c9a1721a79e1bc352ea1fc71a
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 6dfbcb37475f169b47d07fd120fa24da
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 16bf4eb4af7e54f08708c4cc99af57b3
• ocaml(NCoq_Reals_Cauchy_QExtra) = 94ff949286e5ce4c9490dd812b9d7d23
• ocaml(NCoq_Reals_RIneq) = 0b7483312938053987c54b0a50347497
• ocaml(NCoq_Reals_R_sqrt) = 635eb2f1c539edb92d21b0ee10ed5095
• ocaml(NCoq_Reals_Raxioms) = 3d5932f2c95a9c8cc49e585239c67f1c
• ocaml(NCoq_Reals_Rbasic_fun) = 483258be6f1b17342462f40c776e4134
• ocaml(NCoq_Reals_Rdefinitions) = 1e0467b8fdb87c0a08c4b3af96cfc1d5
• ocaml(NCoq_Reals_Rfunctions) = 3bca595d391a0dc41dd7675f2c6a6472
• ocaml(NCoq_Reals_Rpow_def) = 69044bb3f712ecf4287b32e58f679f54
• ocaml(NCoq_Reals_Rpower) = 7ff55773f58c5ed2b9b7c71e92cdf56c
• ocaml(NCoq_Reals_Rsqrt_def) = 31f05dbcd06b0408340fbebbd1644367
• ocaml(NCoq_Reals_Rtrigo_def) = 991e6e86cdb9bb1468e9a0a23c0c31bb
• ocaml(NCoq_Reals_Rtrigo_fun) = b41a39c520e0fc25c48949b6b578eea4
• ocaml(NCoq_Relations_Relation_Definitions) = 5904c0f6a6a801c35ece44986501a3ea
• ocaml(NCoq_Structures_OrdersTac) = d35236dfa569aba40b147022280363d5
• ocaml(NCoq_ZArith_BinInt) = cd4484d62de0b389e2adeca1b366ac27
• ocaml(NCoq_ZArith_BinIntDef) = 6fd401b73823f618033750b754eec192
• ocaml(NCoq_ZArith_ZArith_dec) = de2e7230cbf4dc09a22d3264d8ed9cd2
• ocaml(NCoq_ZArith_Zbool) = c16d456153b0f51f26a0f359f214f436
• ocaml(NCoq_ZArith_Zeven) = 1d092a3b8f87a50047e3e9352ec8ab46
• ocaml(NCoq_ZArith_Znat) = c8c183709fffd8fddc604651e180aa54
• ocaml(NCoq_ZArith_Zpower) = e6af5a1e47f7eb07135e14411d47b586
• ocaml(NCoq_setoid_ring_Ring_theory) = 4d3a5c75495a25246d5dd14f99ab0fa0
• ocaml(NFlocq_Calc_Bracket) = b9d3bd92b3760f0c0cdd801d6d01105f
• ocaml(NFlocq_Calc_Operations) = c72e65c3f88d72221f72cf40d01022ba
• ocaml(NFlocq_Calc_Round) = 7032c36d7c2270bdb473dd2f0cc5a33c
• ocaml(NFlocq_Core_Defs) = c475272e05a97b063da40d787964103a
• ocaml(NFlocq_Core_Digits) = ca90a6b62079eb7597279ddf58a2da7f
• ocaml(NFlocq_Core_FIX) = 877123c81484a33fa497f2881ff7fb14
• ocaml(NFlocq_Core_FLT) = 8205a8b14df82514f7bb2716e12c35e6
• ocaml(NFlocq_Core_Generic_fmt) = 875affee6125250c8c09985fae437ae6
• ocaml(NFlocq_Core_Raux) = 611714b3296f34a6f3be481b594826db
• ocaml(NFlocq_Core_Ulp) = 228edf24abc670d77419fd92afcacefc
• ocaml(NFlocq_Core_Zaux) = a3cca696066c69c366190d466501f7c0
• ocaml(NFlocq_IEEE754_Binary) = 4686f8b40515684821947239bd8dae0f
• ocaml(NFlocq_IEEE754_BinarySingleNaN) = 6edcd72dd68316ee94e2dfb540de4abb
• ocaml(NFlocq_Pff_Pff) = c944cd4b4f02e2d690b920a23ba5665d
• 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) = cde55fd0407f5cd7155d49b0a6f5d5c4
• ocaml(Vmbytecodes) = 2591cc1c93a2566a8d3c6a3941afb122
• ocaml(Vmemitcodes) = 62d188f74bab969697583c9ea4c4a442
• ocaml(Vmlibrary) = d517d2e6033fd925446509493a0fe071
• ocaml(Vmvalues) = 00afce9a7690fce3ba6318a2f81aa076
• ocamlx(CamlinternalLazy) = c1e563953199d5ae62cd56ffc2fbf053
• ocamlx(NFlocq_Calc_Bracket) = c3c563adbfd17a5843372638eb3777db
• ocamlx(NFlocq_Calc_Operations) = 6806ef96dd930ad78f50ceefed9c3427
• ocamlx(NFlocq_Calc_Round) = 8e2d6f15900c45fbd2049b7188c9352e
• ocamlx(NFlocq_Core_Defs) = 854d3a3e2dd0760a5128806b7a4d13de
• ocamlx(NFlocq_Core_Digits) = 577adca3f3182914e362e0491ad184f1
• ocamlx(NFlocq_Core_FIX) = 3266f8d8d370bbcdb13153acd7a78844
• ocamlx(NFlocq_Core_FLT) = 5e7ac4d5fd20beee2fdb688730035482
• ocamlx(NFlocq_Core_Generic_fmt) = e5a9b660519db56aa9091a4b10204610
• ocamlx(NFlocq_Core_Raux) = d15092dc95b10b92dd87ea17a1980945
• ocamlx(NFlocq_Core_Ulp) = 0f92b799ea19d44a2d1f7b971f36ec76
• ocamlx(NFlocq_Core_Zaux) = 4e767a446d1948e28400591bf98249d8
• ocamlx(NFlocq_IEEE754_Binary) = 9b5b999d96a17d3c43aba638b5217b99
• ocamlx(NFlocq_IEEE754_BinarySingleNaN) = a4e89bdccbb3feeab7a2f2ce3b731bb6
• ocamlx(NFlocq_Pff_Pff) = 998097af3e130efb9dd63554238b2904
• ocamlx(Nativecode) = a4e45dc163cec7e11881cbfe8ae41ea6
• ocamlx(Nativevalues) = 2bb9b6206fe0ee37b7aee5df37e4ebde
• ocamlx(UVars) = 23871a49d803e2dfaaf85f5c631eda43
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPL-3.0-or-later

Changelog

* Thu Jul 25 2024 Frantisek Simorda <frantisek.simorda@suse.com>
  - Update to version 4.2.0.
    * Added SF2B' as a proof-free variant of SF2B.
    * Fixed installation of Pff2Flocq.
    * Ensured compatibility from Coq 8.12 to 8.20.
* Sun Jan 28 2024 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.1.4.
    * Ensured compatibility from Coq 8.12 to 8.19.
* Sun Sep 17 2023 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.1.2.
    * Ensured compatibility from Coq 8.12 to 8.18.
  - Update to version 4.1.3.
    * Avoided breaking users of `IEEE754.PrimFloat`.
* Wed Mar 29 2023 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.1.1.
    * Ensured compatibility from Coq 8.12 to 8.17.
* Thu Jan 26 2023 Aaron Puchert <aaronpuchert@alice-dsl.net> 
  - Build with ocaml-rpm-macros to get proper Requires and Provides
    for flocq-devel. This should prevent incompatibilities with other
    Ocaml libraries when building native objects against flocq-devel.
* Thu Jun 30 2022 Bernhard Wiedemann <bwiedemann@suse.com>
  - Add Git-Clone URL
* Thu Jun 02 2022 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.1.0.
    * Added `Bnearbyint` and `Btrunc` in `IEEE754`.
    * Ensured compatibility from Coq 8.12 to 8.16.
  - Fix patching of coqdoc invocation, make it more robust.
  - Patch up coqdoc invocation also for older Coq versions since they
    don't understand --coqlib_url.
* Fri Apr 15 2022 Aaron Puchert <aaronpuchert@alice-dsl.net>
  - Update to version 4.0.0.
    * Made Coq 8.12 the minimal version and removed the
      `IEEE754.SpecFloatCompat` layer
    * Removed automatic export of `ZArith` and `Reals` from
      `Core.Raux` and `Core.Core`
    * Proved a close/far-path adder in `Calc.Plus`.
    * Made `IEEE754.Binary` a wrapper around
      `IEEE754.BinarySingleNaN`.
  - Put development files into separate package.
  - Let documentation point to coq-doc.
* Wed Feb 05 2020 Peter Trommler <ptrommler@icloud.com>
  - update to 3.2.0
    * compatibility with coq 8.10
* Thu Oct 11 2018 ptrommler@icloud.com
  - update to 3.0.0
    * compatibility with coq 8.8

Files

/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
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/coq/user-contrib/Flocq/Core
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.o
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmi
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmx
/usr/lib64/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.o
/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
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmi
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmx
/usr/lib64/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.o
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Int63Compat.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Int63Copy.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib64/coq/user-contrib/Flocq/Pff
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Nat2Z_compat.cmi
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Nat2Z_compat.cmx
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Nat2Z_compat.o
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmi
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmx
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.o
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmi
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmx
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.o
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmi
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmx
/usr/lib64/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.o
/usr/lib64/coq/user-contrib/Flocq/Pff/Nat2Z_compat.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
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.o
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmi
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmx
/usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.o
/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 19 01:14:14 2024