Name: flocq-devel	Distribution: openSUSE Tumbleweed
Version: 4.1.4	Vendor: openSUSE
Release: 1.5	Build date: Sun Jan 28 23:40:44 2024
Group: Development/Libraries/Other	Build host: reproducible
Size: 5424296	Source RPM: flocq-4.1.4-1.5.src.rpm
Packager: https://bugs.opensuse.org
Url: https://flocq.gitlabpages.inria.fr/
Summary: Development files for Flocq

This package contains development files for Flocq.

Provides

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) = d9c1231d2a3571dca0238ff539d3c187
ocaml(NCoq_Arith_PeanoNat) = 45432abb06e9d0b9ea3333e47054f8c5
ocaml(NCoq_Bool_Bool) = a768bd47977eb5d8f13364323f1861a7
ocaml(NCoq_Bool_Sumbool) = 8ae7ff2107df576ebd6c261ff7e34f09
ocaml(NCoq_Classes_DecidableClass) = 922c32fa98533d166e94bddd0275d29a
ocaml(NCoq_Classes_Morphisms) = bafa8a0e3daa776af605009532ecbd95
ocaml(NCoq_Classes_Morphisms_Prop) = e4a351b5c91f81dc3124e862a5042a63
ocaml(NCoq_Classes_RelationClasses) = 8ff35f7484713f80237118d1c2224463
ocaml(NCoq_Floats_FloatAxioms) = 6dc539dd398b9edd2156e211792b5fa7
ocaml(NCoq_Floats_FloatClass) = 057cc440e308b22529dc65d9890902cb
ocaml(NCoq_Floats_FloatOps) = e78bb81159c35192be54e88f2953f026
ocaml(NCoq_Floats_PrimFloat) = c4fcc5be6420d69f3184a52b07659f25
ocaml(NCoq_Floats_SpecFloat) = 19649e7f33c1e06d66a169c126946020
ocaml(NCoq_Init_Datatypes) = a6e21cb7c66a46d56922b5212a6a89a7
ocaml(NCoq_Init_Decimal) = bef149319b1ef35fc9303c498c6beed2
ocaml(NCoq_Init_Hexadecimal) = 2cbf43c24cb8161e2a4285dd0e4976bb
ocaml(NCoq_Init_Logic) = 0f6490db515de9facb9135c3fd54be51
ocaml(NCoq_Init_Nat) = f509508a1bc900d2a63f3dbb84c41ffd
ocaml(NCoq_Init_Number) = 082710a7f5e3cb33e9a720006b9eb29a
ocaml(NCoq_Init_Peano) = 1d5b5a2859ee4cad6360ab247f6b83dd
ocaml(NCoq_Init_Specif) = 34a15b81205f735dabb1a1ac4affead8
ocaml(NCoq_Init_Wf) = 2d8317e7675a64a79bb76d482764bbe8
ocaml(NCoq_Lists_List) = 20acd66f2d7a42f02dcea1c9f0fe79ff
ocaml(NCoq_NArith_BinNat) = a237796eb40e90f77c01c2dd738febd6
ocaml(NCoq_Numbers_BinNums) = bdd10c439f0f8be49c1ec288d319843e
ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = b1092d0af99679e244902ee9677da466
ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = c79e3a9c13e29868ac58672f933cff2e
ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 19f92ff49d9fee3541f3baa620c2c42f
ocaml(NCoq_PArith_BinPos) = eb9b8d40f2703c7293723ecbbb70709f
ocaml(NCoq_Program_Basics) = fc92126fba114ea9d19ec8ea826a6c66
ocaml(NCoq_QArith_QArith_base) = 88e999015b62004fe787c36886a79d81
ocaml(NCoq_QArith_Qabs) = ec4bedad9361a3818ea4a2372f96e48b
ocaml(NCoq_QArith_Qreduction) = 318be74760e9f8705fe608533a99ce68
ocaml(NCoq_Reals_Alembert) = 850bc2ef422524f5e5790d5fba4617f2
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 6ff0dd85f2f42a6f757138483d98bd7f
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 620564f26ccab505ef626b4cc139b225
ocaml(NCoq_Reals_Cauchy_QExtra) = e0384cbcd455bdba56ca98f239eda7d4
ocaml(NCoq_Reals_RIneq) = 9564dade63840d61c9507ddc040bdba6
ocaml(NCoq_Reals_R_sqrt) = 81609082798ffe10d276a9b3eefaa4d2
ocaml(NCoq_Reals_Raxioms) = ddcdde4035393575547b679bb12f1320
ocaml(NCoq_Reals_Rbasic_fun) = 9ba31fd80f3a1e700909b073fe7c0039
ocaml(NCoq_Reals_Rdefinitions) = 5f91ee097bb15e553a9a5cded8052c5a
ocaml(NCoq_Reals_Rfunctions) = 2c71d07e2a790f1f6b1c81010b9a98eb
ocaml(NCoq_Reals_Rpow_def) = 5d8ff1d35ef1bb6d5f07df58437dbfdc
ocaml(NCoq_Reals_Rpower) = b96ea0e1adf56d1f47c9ed7fcc75aa98
ocaml(NCoq_Reals_Rsqrt_def) = 87ad87733824a79b669df150407c86e3
ocaml(NCoq_Reals_Rtrigo_def) = 4a14ca22bd30cb4ea4ea2a6d2830236e
ocaml(NCoq_Reals_Rtrigo_fun) = 0aec29ccd251e0586998b37c10003bc4
ocaml(NCoq_Relations_Relation_Definitions) = 8b0fd75933daad16b4dd66ad8d856ce2
ocaml(NCoq_Structures_OrdersTac) = c6c84269e4b9e8ced2e9014e15ccaa66
ocaml(NCoq_ZArith_BinInt) = dff8fa124bad6d7ccc06801f9bd23fb0
ocaml(NCoq_ZArith_BinIntDef) = 26e8d54ab908f0dd67b1bd8b388d7290
ocaml(NCoq_ZArith_ZArith_dec) = e3608abdd6861f07e1caf30ee42d7cfa
ocaml(NCoq_ZArith_Zbool) = 44954597ecd884eb58912445bdfb7f1f
ocaml(NCoq_ZArith_Zeven) = aed473f7754c96fe800dfea4d6f41404
ocaml(NCoq_ZArith_Znat) = 240b42a851e1328d9d8ccb12bc765079
ocaml(NCoq_ZArith_Zpower) = 84428597914b7296b00e1a2d155d781f
ocaml(NCoq_setoid_ring_Ring_theory) = 1967cb61257debc0524183a991cddcc1
ocaml(NFlocq_Calc_Bracket) = dd18af5196ace3d52f4dd1786e15f202
ocaml(NFlocq_Calc_Operations) = 7d3904d65218e85156ef1e59d771d21c
ocaml(NFlocq_Calc_Round) = c0d375d9732b62ba05b82487456a4f16
ocaml(NFlocq_Core_Defs) = bc5bc4d66a98ec3b7f7af97d75669022
ocaml(NFlocq_Core_Digits) = ff1a66ad73e5867275b6f05727520ac8
ocaml(NFlocq_Core_FIX) = efa94e6d218c6620c7136d22c036cc9c
ocaml(NFlocq_Core_FLT) = 91f3db9b175acda39fe745308a688830
ocaml(NFlocq_Core_Generic_fmt) = 322382a649642f4f1d81b3a4043ee198
ocaml(NFlocq_Core_Raux) = f9ec0698d6890986042d3d0013b7bc5a
ocaml(NFlocq_Core_Ulp) = 65df1f5a2473bff7157f5eba8440a772
ocaml(NFlocq_Core_Zaux) = 6cdc6a04cac9d2d8f276f97bc68b959a
ocaml(NFlocq_IEEE754_Binary) = a935a97c76fbf938415cbd32c0db8186
ocaml(NFlocq_IEEE754_BinarySingleNaN) = cdb32efd2ab29b0ebc2adb5f4513f22e
ocaml(NFlocq_Pff_Pff) = 7dd889a57b758704c945475bc5576ee2
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) = c1e563953199d5ae62cd56ffc2fbf053
ocamlx(NFlocq_Calc_Bracket) = 9ca94e37171ec32000e8c06b08789063
ocamlx(NFlocq_Calc_Operations) = b2d74fdc2cffeab454a950727e4e60fa
ocamlx(NFlocq_Calc_Round) = 388296cf0b4bb986a3b0f3ce1c332ff0
ocamlx(NFlocq_Core_Defs) = a43482d021dcf98ce4ed7a3e01a9a76c
ocamlx(NFlocq_Core_Digits) = 86344ba0231d3d3ed26d3aebe3f1fdc2
ocamlx(NFlocq_Core_FIX) = d7be1baed5161558889adbf4b795aa4f
ocamlx(NFlocq_Core_FLT) = 4280d09e17b16d9cfa974e518614f0ef
ocamlx(NFlocq_Core_Generic_fmt) = 3200be03d7956a6c9fe1236c10676640
ocamlx(NFlocq_Core_Raux) = 6d35fb4514772b995293ddac2bc2fe24
ocamlx(NFlocq_Core_Ulp) = 73ddb44366bf4a3b3cc97b2011c8c859
ocamlx(NFlocq_Core_Zaux) = 72bf32251a3e9a886f9e3ef503ed5e7c
ocamlx(NFlocq_IEEE754_Binary) = 54f1599aa00afc56f5ec80b49fe974e1
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 57035104f80eae465d7e9c5bab001468
ocamlx(NFlocq_Pff_Pff) = 905e3bc55123492852c509272a34d524
ocamlx(Nativecode) = 0d2da75de4a78e11d7b90f2e82bca668
ocamlx(Nativevalues) = b7783623851efa445a21f50f63472b38
ocamlx(UVars) = e723ac38bdbaea7be70ca1af02695afd
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

* 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
* Thu Nov 02 2017 ptrommler@icloud.com
  - update to 2.6.0
    * fix compile with coq 8.7.0

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/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, Mon Apr 29 23:32:05 2024

flocq-devel-4.1.4-1.5 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

Provides

Requires

License

Changelog

Files