flocq-4.1.1-2.fc38 RPM for aarch64

From Fedora 38 updates for aarch64 / Packages / f

Flocq (Floats for Coq) is a floating-point formalization for the Coq
system.  It provides a comprehensive library of theorems on a
multi-radix multi-precision arithmetic.  It also supports efficient
numerical computations inside Coq.

Provides

• flocq
• flocq(aarch-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_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_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(aarch-64) = 8.17.1
• ocaml(AcyclicGraph) = 6db97d4aba38e99b1ce79c13c9dc26ae
• ocaml(CArray) = 3bf67d1381824155797389de8a32d728
• ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af
• ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3
• ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
• ocaml(CList) = 963264b024cbb32e5211e7abb601d1fc
• ocaml(CMap) = b5f62fbd6f9416f40b63b0dac2bac8a8
• ocaml(CPrimitives) = b572f5424b98ffcb8968be2d42112246
• ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
• ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
• ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
• ocaml(Constr) = 670799fa78880c542c37d64b3baf38aa
• ocaml(Context) = 233f361cbf25095b743d2afa636ee001
• ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783
• ocaml(Cooking) = 2c425c1e71f2ea9e68941efc72edf46e
• ocaml(Declarations) = aaa7cf86083c22fe0bdc650b9766d7f2
• ocaml(Environ) = 52e9defc7fd393e51d052bac59d8446f
• ocaml(Esubst) = a96ceb099c2f1fb6d9584a61b57ee72b
• ocaml(Evar) = 5410ca5e116902547a19a06b75d92579
• ocaml(Exninfo) = 1108fbdf2827b6d2494e3e4bca2b55f0
• ocaml(Float64) = 919fb2eabc120f3c4e0129cfc56531e2
• ocaml(Genlambda) = 56cbe0a8daebf59b513cd61e5af4c4a0
• ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
• ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
• ocaml(Int) = 5d7dae0fd8a18e8d5aa73a19ee3bbc40
• ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
• ocaml(Mod_subst) = 883ff24157873ad45c0b936416e276f3
• ocaml(NCoq_Arith_Factorial) = 47c7b266b79270b8f0b15b1720ee87aa
• ocaml(NCoq_Arith_PeanoNat) = 1d70648159fea896330b722effcda00c
• ocaml(NCoq_Bool_Bool) = d5e3820210fece680272192a53606d50
• ocaml(NCoq_Bool_Sumbool) = f3b2aadd3ec4d4a29848475f7316959e
• ocaml(NCoq_Classes_Morphisms) = 1bdbf76503a06382644347d42d2cddf0
• ocaml(NCoq_Classes_Morphisms_Prop) = 8dc18d10a83bafa73f8c06b66e514d49
• ocaml(NCoq_Classes_RelationClasses) = d91638f3f38485aaeb3d2e9028952e21
• ocaml(NCoq_Floats_FloatAxioms) = 7f13775cfc7b4eadd6f92533a755b3fc
• ocaml(NCoq_Floats_FloatClass) = dbd845bb26aa9b4a768cdf11ce1788d3
• ocaml(NCoq_Floats_FloatOps) = 3e07cc3d1ab4793f6833907565007e25
• ocaml(NCoq_Floats_PrimFloat) = 4efe75d4ce70c0839531af6b55a05218
• ocaml(NCoq_Floats_SpecFloat) = c3320d5a18ae624200f8243464a12515
• ocaml(NCoq_Init_Datatypes) = ba14e8401b72fef301fdb473e3d2bafa
• ocaml(NCoq_Init_Decimal) = a621a9c215aec9d7e16885a0b523e497
• ocaml(NCoq_Init_Hexadecimal) = 89179eec46359242ebf24e32c6fb6f13
• ocaml(NCoq_Init_Logic) = 5844583c4d0cb46a11802ac8553e2206
• ocaml(NCoq_Init_Nat) = 0e426f499ecc6441a0c78e922372ac9d
• ocaml(NCoq_Init_Number) = aab1d75d4dbd4729ce71c397398cc45e
• ocaml(NCoq_Init_Peano) = c08de57feb63472602832118f771ac58
• ocaml(NCoq_Init_Specif) = 62e06202f4fd1331cd5f556440e30b6c
• ocaml(NCoq_Init_Wf) = aabb09f2e37b54489b8a2b02eb8330ba
• ocaml(NCoq_Lists_List) = 983adfe7b13f4c4334ca68f5997c595c
• ocaml(NCoq_NArith_BinNat) = 5a233cf05757a167e63428cf2398e8e8
• ocaml(NCoq_Numbers_BinNums) = 5d537f42a06df908f38b8169b430149a
• ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 88cb96a6646a43dc3c42f6cb8ca2715d
• ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = bbc7b2d5e9bbc38993cf387aef80ce9d
• ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 7c2272ca3504a372170c1d49252f1949
• ocaml(NCoq_PArith_BinPos) = e44ceb5a5503da0ba401248b814fd16e
• ocaml(NCoq_Program_Basics) = 84d6c3405bd68df089341f4153a1804d
• ocaml(NCoq_QArith_QArith_base) = 4fcf743fb695aeb5b1b6af244c0a814f
• ocaml(NCoq_QArith_Qabs) = d76f5466f08fe0973b1bc57de3ce0bfa
• ocaml(NCoq_QArith_Qreduction) = 2a363df47677d2989d0e7db3f0f42f2f
• ocaml(NCoq_Reals_Alembert) = bd621c0797eefa33a2ba3ac492e59f2c
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 05cdd62010014222a803e745ec5e3513
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 7b510e1b8cd5f31ca30caa209ffaf040
• ocaml(NCoq_Reals_Cauchy_QExtra) = 33aee1bf52f94ddce9f6c701ed1b50d6
• ocaml(NCoq_Reals_RIneq) = 118b37e0d4458879243ea0cf5a6aaa74
• ocaml(NCoq_Reals_R_sqrt) = 7c68a8177547bd1f3d2a24dd520b575a
• ocaml(NCoq_Reals_Raxioms) = 57db10cb6c048406738751134bed8f57
• ocaml(NCoq_Reals_Rbasic_fun) = b0ccd7c3ee2e625be2c337b3a7b0139e
• ocaml(NCoq_Reals_Rdefinitions) = edcffca6cffd1a5625b0332e96f629cd
• ocaml(NCoq_Reals_Rfunctions) = 56d35e592bc110754aeb2ae506ec1866
• ocaml(NCoq_Reals_Rpow_def) = ed5398f03390306ffb4d5a073a7d4bc9
• ocaml(NCoq_Reals_Rpower) = 271353e4557931dc792c4eef3727bde6
• ocaml(NCoq_Reals_Rsqrt_def) = 550a37f43b8210a23da8d305167a2aaa
• ocaml(NCoq_Reals_Rtrigo_def) = d5df5cd7858823627e0032404dde6688
• ocaml(NCoq_Reals_Rtrigo_fun) = 79007b47d4df2031b6637fdfa61ece9b
• ocaml(NCoq_Relations_Relation_Definitions) = ac7c54de55154e1e6fa55367d66f6f11
• ocaml(NCoq_Structures_OrdersTac) = b4a592883b667daf1534538003f4f02d
• ocaml(NCoq_ZArith_BinInt) = a6355607a6aec47df884d02e09314e4f
• ocaml(NCoq_ZArith_BinIntDef) = 87e7ef8712a02a67ec9ae27e1680ee70
• ocaml(NCoq_ZArith_ZArith_dec) = 48ed3be92b393f44ef814ef7217b8452
• ocaml(NCoq_ZArith_Zbool) = 0780b0ab8a7dd60117d04ce4148ecd41
• ocaml(NCoq_ZArith_Zeven) = a030e2000395803d4d23b612d9a79b70
• ocaml(NCoq_ZArith_Znat) = 94da1a4df208ddb46df1700004658560
• ocaml(NCoq_ZArith_Zorder) = 91a0eda56c8beb7c6644252da846d0f5
• ocaml(NCoq_ZArith_Zpower) = 7b9d7348df09e815db99d60e29c11a6f
• ocaml(NCoq_setoid_ring_Ring_theory) = 4ad8bfe2179da4d9177ac6b283df8bf1
• ocaml(NFlocq_Calc_Bracket) = 20ba3b1ac2be233da40aa18c0c92292e
• ocaml(NFlocq_Calc_Operations) = 191fff00bb0875bb5c77b93af01b2ff8
• ocaml(NFlocq_Calc_Round) = 8db6fb73b2835cd18b881201207be9ea
• ocaml(NFlocq_Core_Defs) = 132b24e99d3a5669fbb9feae3bb4ab0e
• ocaml(NFlocq_Core_Digits) = 9e1310413c913a287784d9e1207c99bb
• ocaml(NFlocq_Core_FIX) = 623c74745f56657c760f2b3e25ec9b03
• ocaml(NFlocq_Core_FLT) = 284f67b699b86802d59614fe94330310
• ocaml(NFlocq_Core_Generic_fmt) = a2463e4363999b165b83188ef11e6437
• ocaml(NFlocq_Core_Raux) = 10a1868c65be4137786833a740b846ac
• ocaml(NFlocq_Core_Ulp) = 5a4d967c5a6be13e862c764cb397e9cf
• ocaml(NFlocq_Core_Zaux) = a0906b16b454ba59d23c1c323e4d6186
• ocaml(NFlocq_IEEE754_Binary) = d01e3fdce7e79e0a8eff138b7b083e36
• ocaml(NFlocq_IEEE754_BinarySingleNaN) = 0bc45688e525687c976c86dfe298201b
• ocaml(NFlocq_Pff_Pff) = 8b5b17d8dd671cfbfcca3aaf1b149bfe
• ocaml(Names) = 2ea9132743d37e1af5c8327b5dc400b1
• ocaml(Nativecode) = 842a27615e40a598a3aabe25b3b65322
• ocaml(Nativeconv) = 8d892045979e0114aa149472891fd7cd
• ocaml(Nativelib) = c14db6be2a471852ffc636e36467ec57
• ocaml(Nativevalues) = 50c4bb93028b49d5f9a3462bd4dda4e2
• ocaml(Opaqueproof) = 999bfd5f937c49fe3b1b03eafd7a3c8b
• ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
• ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
• ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
• ocaml(Range) = 346d147227354e938de6b932d04d6b3d
• ocaml(Reduction) = 061463a7ecc6882acd7c10c1c6cf2653
• ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8
• ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644
• ocaml(SList) = 87266e831aa0fb41e7e69d43dba10e03
• ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2
• 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(Term) = 7a45b29ea54c962bdd7f36b12dac3b17
• ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06
• ocaml(UGraph) = 2fd6f0b34adce97d21c5d93b17310f9b
• ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
• ocaml(Univ) = f7225d1b1091516b25bcad262c410029
• ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
• ocaml(Util) = 82442e4e897c61e9ffd5234974e104ef
• ocaml(Values) = cb3ff5d5b665cb384fb59c1413884523
• ocaml(Vmbytecodes) = 0ec5367f45655d3cfc46db2e6443e395
• ocaml(Vmemitcodes) = 346ef462a1e0243aad6f2621f358e795
• ocaml(Vmvalues) = 1faa9be887b3fe66b213790f9bb1a3d8
• ocamlx(CamlinternalLazy) = 0573444d7d158417dbd5f4f46081e73b
• ocamlx(NFlocq_Calc_Bracket) = a1e05642f6d8551d01fd744a20616e38
• ocamlx(NFlocq_Calc_Operations) = e8f093e6fc23d9775f79f979fec80b86
• ocamlx(NFlocq_Calc_Round) = 61ebcc36a502a480de43b260eff46080
• ocamlx(NFlocq_Core_Defs) = 98568f22f0f1a59f027e58e5df9792e9
• ocamlx(NFlocq_Core_Digits) = eb8348028e8c89ad24bfd9dd6d8e60e3
• ocamlx(NFlocq_Core_FIX) = 1801ee276a87985feead0544e5236627
• ocamlx(NFlocq_Core_FLT) = 3d7ae5c0ccaadb2c2f932c19e248fbf8
• ocamlx(NFlocq_Core_Generic_fmt) = 39d8b8dd73998543157621ac341952cd
• ocamlx(NFlocq_Core_Raux) = 46c2091c7586b4b13d0f9cfb48e66549
• ocamlx(NFlocq_Core_Ulp) = a00f02dc7c617e5daa51ce6bb3917274
• ocamlx(NFlocq_Core_Zaux) = 54b26278f618199cadf17432f3b28b23
• ocamlx(NFlocq_IEEE754_Binary) = db08d3b3e384ca03689522ae935909a8
• ocamlx(NFlocq_IEEE754_BinarySingleNaN) = f5c47d600e4e75f0af9291695263d513
• ocamlx(NFlocq_Pff_Pff) = 9b689b49762fa2b2239a0a52f216fd7c
• ocamlx(Nativecode) = 5a7e0e94055b1546ca43d838d54c067d
• ocamlx(Nativevalues) = dbcd9cbff7a6549a641c25e4afb7c276
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPL-3.0-or-later

Changelog

* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-2
  - Rebuild for coq 8.17.1
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-1
  - Version 4.1.1
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-5
  - Bump release and rebuild
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-4
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 4.1.0-2
  - Rebuild for coq 8.16.1
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 4.1.0-1
  - Version 4.1.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-5
  - Rebuild to fix coq dependency
  - Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.3-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-3
  - Remove i686 support
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 3.4.3-3
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-2
  - Rebuild for coq 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 3.4.3-1
  - Version 3.4.3
  - Use local coqdoc files
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 3.4.2-10
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.2-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Jan 03 2022 Jerry James <loganjerry@gmail.com> - 3.4.2-8
  - Rebuild due to rebuilt coq
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 3.4.2-7
  - Rebuild for coq 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 3.4.2-6
  - Rebuild for coq 8.14.0
  - New URLs

Files

/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/40443c8329bc6a586acabc8ae3640793ee314f
/usr/lib/.build-id/07
/usr/lib/.build-id/07/01325c7e7e4c90bf753cc44bf234172c3cab73
/usr/lib/.build-id/08
/usr/lib/.build-id/08/4973cde9b6d0746c5908c466fd76df5cc0e7bf
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/2877125c05442e86f5fb22c1213c50fb89b442
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/cbc86e9e2e6bd99cdfb4c1c0665c30069991e8
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/031632a871512e468b910236aeb2f018c88725
/usr/lib/.build-id/20
/usr/lib/.build-id/20/450bf7fb2e991cd7b72379b3f61226b878ee16
/usr/lib/.build-id/23
/usr/lib/.build-id/23/e186dfdc49542e1e75b32f98e9ebb1be00dfe0
/usr/lib/.build-id/24
/usr/lib/.build-id/24/5b16bccc19ed78e30c4a24801421de492507ac
/usr/lib/.build-id/27
/usr/lib/.build-id/27/38598f432c07691ef5b318c609e1b660f7b7f4
/usr/lib/.build-id/28
/usr/lib/.build-id/28/5e617e54cfef71f65f9088a2ead362b6f16180
/usr/lib/.build-id/3d
/usr/lib/.build-id/3d/46c013c833d2a9aea3995e4892dc5e0c241c0c
/usr/lib/.build-id/46
/usr/lib/.build-id/46/430b4218b8a891d90949d075de9a4eb3012baa
/usr/lib/.build-id/62
/usr/lib/.build-id/62/5317fcc735f4ce6c167757a92ed76dc9fdd6ca
/usr/lib/.build-id/67
/usr/lib/.build-id/67/c868009f9ad980980b154eb83b3a72428d8936
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/31d15968b3444d190fc2e6c6d3631921f8eedf
/usr/lib/.build-id/6a/44672fc7122f630e0567fcaee337a5fe25dfba
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/bc94df3ff6fa0587bd87bd6cfdc80bb1a8494a
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/c82306f92f1605004bb17ee9c1da2f6bb0331b
/usr/lib/.build-id/88
/usr/lib/.build-id/88/a9615c41f9e21e80db9829055d2436b39b49be
/usr/lib/.build-id/90
/usr/lib/.build-id/90/ab047761ea9d642ac6152e08eeba1bddb4b4db
/usr/lib/.build-id/95
/usr/lib/.build-id/95/d172f9f583d1f92d14ebe052f83359133695ff
/usr/lib/.build-id/96
/usr/lib/.build-id/96/9e2ad38074a009c27b8490c26c5974647541dd
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/fadd936c69eb8cd89bc6df2aeec500d81f0037
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/8895caf9ac507fdc90bb928b91ac0af4619b64
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/615f35cecd008238c47b1ea11cce9d9c18464e
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/8367bc408ea8511bc6afebbd0a5137a0a3b5f2
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/42d2ad0deea8e291e3b4d8711e345ce771bec1
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/9bae0650f6469d884394f94311f8d9c7e3c831
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/f0bd871eaf228cc4ab68854aca0ff7fb04bf2e
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/d59909904e08d9772a3de61cb7709b243156dd
/usr/lib/.build-id/d5
/usr/lib/.build-id/d5/dfccf6887816deb74244961017bdc0f1e2ecb3
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/4b50f6ff60870d2d151d935decad708fa05f1e
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/77e99e6b339032ad52069484bcbccfffc5fa64
/usr/lib/.build-id/d9/a824a610b661795940ff11cd4ea42ae5ae14aa
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/021a70c480efe36292ad1c3a95b14aa316a36b
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/a9f11dd237065ef8f9179ef7dc0ab58af29ff4
/usr/lib64/ocaml/coq/user-contrib/Flocq
/usr/lib64/ocaml/coq/user-contrib/Flocq/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/.coq-native/NFlocq_Version.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Bracket.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Div.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Operations.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Plus.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Round.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/.coq-native/NFlocq_Calc_Sqrt.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Core.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Defs.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Digits.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FIX.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLT.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FLX.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_FTZ.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Float_prop.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Generic_fmt.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Raux.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_NE.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Round_pred.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Ulp.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/.coq-native/NFlocq_Core_Zaux.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Binary.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Bits.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Compat.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_Int63Copy.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Mult_error.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Plus_error.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Relative.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Round_odd.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmi
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmx
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.cmxs
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Sterbenz.o
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.vo
/usr/share/doc/flocq
/usr/share/doc/flocq/AUTHORS
/usr/share/doc/flocq/NEWS.md
/usr/share/doc/flocq/README.md
/usr/share/doc/flocq/html
/usr/share/doc/flocq/html/Flocq.Calc.Bracket.html
/usr/share/doc/flocq/html/Flocq.Calc.Div.html
/usr/share/doc/flocq/html/Flocq.Calc.Operations.html
/usr/share/doc/flocq/html/Flocq.Calc.Plus.html
/usr/share/doc/flocq/html/Flocq.Calc.Round.html
/usr/share/doc/flocq/html/Flocq.Calc.Sqrt.html
/usr/share/doc/flocq/html/Flocq.Core.Core.html
/usr/share/doc/flocq/html/Flocq.Core.Defs.html
/usr/share/doc/flocq/html/Flocq.Core.Digits.html
/usr/share/doc/flocq/html/Flocq.Core.FIX.html
/usr/share/doc/flocq/html/Flocq.Core.FLT.html
/usr/share/doc/flocq/html/Flocq.Core.FLX.html
/usr/share/doc/flocq/html/Flocq.Core.FTZ.html
/usr/share/doc/flocq/html/Flocq.Core.Float_prop.html
/usr/share/doc/flocq/html/Flocq.Core.Generic_fmt.html
/usr/share/doc/flocq/html/Flocq.Core.Raux.html
/usr/share/doc/flocq/html/Flocq.Core.Round_NE.html
/usr/share/doc/flocq/html/Flocq.Core.Round_pred.html
/usr/share/doc/flocq/html/Flocq.Core.Ulp.html
/usr/share/doc/flocq/html/Flocq.Core.Zaux.html
/usr/share/doc/flocq/html/Flocq.IEEE754.Binary.html
/usr/share/doc/flocq/html/Flocq.IEEE754.BinarySingleNaN.html
/usr/share/doc/flocq/html/Flocq.IEEE754.Bits.html
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Compat.html
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Copy.html
/usr/share/doc/flocq/html/Flocq.IEEE754.PrimFloat.html
/usr/share/doc/flocq/html/Flocq.Pff.Pff.html
/usr/share/doc/flocq/html/Flocq.Pff.Pff2Flocq.html
/usr/share/doc/flocq/html/Flocq.Pff.Pff2FlocqAux.html
/usr/share/doc/flocq/html/Flocq.Prop.Div_sqrt_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Double_rounding.html
/usr/share/doc/flocq/html/Flocq.Prop.Mult_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Plus_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Relative.html
/usr/share/doc/flocq/html/Flocq.Prop.Round_odd.html
/usr/share/doc/flocq/html/Flocq.Prop.Sterbenz.html
/usr/share/doc/flocq/html/Flocq.Version.html
/usr/share/doc/flocq/html/coqdoc.css
/usr/share/doc/flocq/html/index.html
/usr/share/doc/flocq/html/toc.html
/usr/share/licenses/flocq
/usr/share/licenses/flocq/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 01:15:51 2024