Name: flocq	Distribution: Fedora Project
Version: 4.1.0	Vendor: Fedora Project
Release: 1.fc37	Build date: Sat Sep 17 01:09:11 2022
Group: Unspecified	Build host: buildvm-x86-18.iad2.fedoraproject.org
Size: 26297160	Source RPM: flocq-4.1.0-1.fc37.src.rpm
Packager: Fedora Project
Url: https://gitlab.inria.fr/flocq/flocq
Summary: Formalization of floating point numbers for Coq

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

Requires

coq(x86-64) = 8.16.0
ocaml(AcyclicGraph) = 00edc3e526b6239e9ad4c9319eaaabd5
ocaml(CArray) = 3bf67d1381824155797389de8a32d728
ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a
ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3
ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
ocaml(CList) = a742212da585b925999bb1e9c57f8886
ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739
ocaml(CPrimitives) = 98ddda2b8661651d0ac1c4d2f3adc78a
ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d
ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(Constr) = 9ca352bce78df900bce25f5e83b3e3ec
ocaml(Context) = 233f361cbf25095b743d2afa636ee001
ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783
ocaml(Cooking) = c511194cd3d1c75d0ec51fe57d5c4b93
ocaml(Declarations) = af077788df86ae3c100cb12d0e433100
ocaml(Environ) = 81958cbbb97b08eb74f21205ecbe734b
ocaml(Esubst) = 746f3c41caf469b8602bbc0673a9de61
ocaml(Evar) = 156cdf64bb05c4ab0c4051f998dfab52
ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922
ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Int) = c638a3a3a3350b9a3cd3aecfc1548b44
ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
ocaml(Mod_subst) = b56a185b9f7bb6f0f0f519c06bf981db
ocaml(NCoq_Arith_Factorial) = edee5881ef17d727e3ee1030d7a1e5d2
ocaml(NCoq_Arith_PeanoNat) = 3922c4f429b4350bba2dd2dab23b5b5a
ocaml(NCoq_Bool_Bool) = 0804aef187ec6ef5a4c6bc88c0a4973b
ocaml(NCoq_Bool_Sumbool) = d2613c6f687e37311723c347656b1afa
ocaml(NCoq_Classes_Morphisms) = 6b266a73e315469f08ebc542bf8746e8
ocaml(NCoq_Classes_Morphisms_Prop) = c52138961674f9ee5fab86bc21830c4a
ocaml(NCoq_Classes_RelationClasses) = 03470792223f41943cca775a8537bcad
ocaml(NCoq_Floats_FloatAxioms) = 8203fcfc25e03e0df4b03b958f6cd22f
ocaml(NCoq_Floats_FloatClass) = 9a5e5f319332f1aab08117fc52822560
ocaml(NCoq_Floats_FloatOps) = 4bf94eb06294927847fbdd30435cf03d
ocaml(NCoq_Floats_PrimFloat) = a74da887993f30bc7a27941ede275b23
ocaml(NCoq_Floats_SpecFloat) = 18edf3f67606ec5d149da16e9c2c1dcc
ocaml(NCoq_Init_Datatypes) = 7dff06490587ae72d8c480e28d0792c8
ocaml(NCoq_Init_Decimal) = 0091886e0df87b48c1b71a630733d322
ocaml(NCoq_Init_Hexadecimal) = 48f69a780f3ab731bfd5fd9892b611dc
ocaml(NCoq_Init_Logic) = 8d49d9267163e6178eb2130b0afa5363
ocaml(NCoq_Init_Nat) = ba503b0fd72b1b323ac75b26585630aa
ocaml(NCoq_Init_Number) = cd525699ffce1c8a6f907027bb87d10f
ocaml(NCoq_Init_Peano) = 67f231ba5cf8725357b5682f1d4ed41b
ocaml(NCoq_Init_Specif) = 6ee28c2862fc7fd46a5168a9f874140a
ocaml(NCoq_Init_Wf) = 5bca515f37535f096c090facf9f2ee7b
ocaml(NCoq_Lists_List) = f0f59ccc11cabe932e06f5bc97cf054c
ocaml(NCoq_NArith_BinNat) = d014d8a7617cce07faeac7a778ef66c6
ocaml(NCoq_Numbers_BinNums) = f68e6acf6ffb202993bf722adf5f5260
ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 2069f40d947cb704ed777599406be7e5
ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = cf3af728d29cb993618f0a2c51ef0c6d
ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 682d2083bc134da2d0ac554274b220af
ocaml(NCoq_PArith_BinPos) = 567a8354cd285d3669d47d582c454eca
ocaml(NCoq_Program_Basics) = 819299f98ae3fdc97e4a9a2c9609ffae
ocaml(NCoq_QArith_QArith_base) = e89b31eaa6e00a18da0fbd5d08938402
ocaml(NCoq_QArith_Qabs) = 4a3dc52bf2666912d7d251574a7b8367
ocaml(NCoq_QArith_Qreduction) = 648dbc98464b2098597c04a9e931ceff
ocaml(NCoq_Reals_Alembert) = b40922aa694cb517278c619534d861c9
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 3bc9cae9c5f4257f9935585d0566e119
ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = d0cfbe899abd4907c1c20c02ebd67b98
ocaml(NCoq_Reals_Cauchy_QExtra) = 416b35c7119a55b95616d5ab474212b9
ocaml(NCoq_Reals_RIneq) = e17d1e4cd82578c36d0c8b465e5d0fcc
ocaml(NCoq_Reals_R_sqrt) = 0ef21d135ce5620dcdffd8943721e056
ocaml(NCoq_Reals_Raxioms) = 8717e5ba29c58e18675aa9d4441687b9
ocaml(NCoq_Reals_Rbasic_fun) = d7937acd1fa489b5786486500a1c33c7
ocaml(NCoq_Reals_Rdefinitions) = f36e6fdcfa9a0e339578e20a9f5db7d3
ocaml(NCoq_Reals_Rfunctions) = bee964dae118e2f605da619804d4e408
ocaml(NCoq_Reals_Rpow_def) = 08d14df826ae8289b86b0107fb9c36d6
ocaml(NCoq_Reals_Rpower) = 8767217ef0eaef18c23c7865242cf7ba
ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21
ocaml(NCoq_Reals_Rtrigo_def) = c17a6892fc43af795a51e11b6790caaa
ocaml(NCoq_Reals_Rtrigo_fun) = c1ae23fc6d3a0c86eda15d3db1b1fd77
ocaml(NCoq_Relations_Relation_Definitions) = 50d48e86dd918045ba6710f690346c4e
ocaml(NCoq_Structures_OrdersTac) = e653cee5a401486b918c1d13e4ee646c
ocaml(NCoq_ZArith_BinInt) = 75a2ff407fbbc12c0021cf14b6cb0f4a
ocaml(NCoq_ZArith_BinIntDef) = 4334d3b5d9b98827dd666f7d25d45dad
ocaml(NCoq_ZArith_ZArith_dec) = 127ab251d986c70c3d6131d06396afd8
ocaml(NCoq_ZArith_Zbool) = 3c79cf9f91dd9622e786c53f032964e0
ocaml(NCoq_ZArith_Zeven) = 62d38b4a4e33dc0f927bb81a7f738a3e
ocaml(NCoq_ZArith_Znat) = e6a528fc72a76ccc4ceb24d48ae0dfd1
ocaml(NCoq_ZArith_Zorder) = b5f838424961c1897d441dd879a192ad
ocaml(NCoq_ZArith_Zpower) = 2404fff785da3403be59e3b5070915a7
ocaml(NCoq_setoid_ring_Ring_theory) = 6b85b253533d9c96b7b96cbbf6e15a26
ocaml(NFlocq_Calc_Bracket) = e0214f692ecd93d4c63ec81c9a68b962
ocaml(NFlocq_Calc_Operations) = 287d8ef36befd07a6aec3ba1b7c54b74
ocaml(NFlocq_Calc_Round) = 7c2bcdd8433b018527e07f973e03b2e3
ocaml(NFlocq_Core_Defs) = 08cd9b47bf7c432525e394f63175cafe
ocaml(NFlocq_Core_Digits) = 3e3ce226aa583a7f62c6933c79a9587d
ocaml(NFlocq_Core_FIX) = 67d75cf34e0a21bb4933d4ede0c59ebd
ocaml(NFlocq_Core_FLT) = 8cdb39a38fe4b22eb6dfd1f6cc35ec2e
ocaml(NFlocq_Core_Generic_fmt) = 2410b3af617d927dd58d0b601b84c8bc
ocaml(NFlocq_Core_Raux) = 34b3cbbefcc8082bfc2aa9bd75cb8316
ocaml(NFlocq_Core_Ulp) = ca08cb2d771a7819e3e0ca2fc95d54a1
ocaml(NFlocq_Core_Zaux) = 1331b523bdf9decaac86604d1dd39bbf
ocaml(NFlocq_IEEE754_Binary) = bfe19cb133ebdf813649eadc9f7fa033
ocaml(NFlocq_IEEE754_BinarySingleNaN) = 46899ffb3587d90f885924e83c397f1b
ocaml(NFlocq_Pff_Pff) = e48189852892135fc83995c58946b6ab
ocaml(Names) = 0b6c349e44c595f40356f60ca49fa766
ocaml(Nativecode) = 02dbeca2f7bfac8ee80f221d7d1bcb8a
ocaml(Nativeconv) = 60d8b9f9f4561c30226973b77f29c919
ocaml(Nativelambda) = 219578857e7b319faa4d145a4fa5ff68
ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67
ocaml(Nativevalues) = 151356e5f71c48ba131e257d7b5d6b0e
ocaml(Opaqueproof) = b1745fe14cd37c212d34eea094f1b8df
ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Range) = 346d147227354e938de6b932d04d6b3d
ocaml(Reduction) = 3523f631320a31383fd961d753a8e437
ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8
ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644
ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
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__Stream) = 510a78f010f6c530a911189d7538d002
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Term) = c1500a859572f47c5adeb740fbcebf6b
ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06
ocaml(UGraph) = bd28bddd5c33ca5c1a5f9f43f907e5da
ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
ocaml(Univ) = 6feb5ec642e4daf30a0944e888214cea
ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea
ocaml(Vmbytecodes) = 88733f1084158f9273bb318495213675
ocaml(Vmemitcodes) = 2ee3a68ca9992bc9e1f6aeb9e6e33af6
ocaml(Vmvalues) = 6cfd8f0d13168b127ebed3d4375b15c3
ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b
ocamlx(NCoq_Bool_Bool) = 3f077edca92ed17f44c66137c4136c04
ocamlx(NCoq_Floats_FloatAxioms) = 9394890fc677cbb8e0ddd013743c7086
ocamlx(NCoq_Floats_FloatOps) = 02ed060a107cc58dc1503d8309b2b129
ocamlx(NCoq_Floats_SpecFloat) = fd37b8215ffafeee4443a1d3161e8643
ocamlx(NCoq_Init_Datatypes) = cdbab4b0bd137a1bc00d54561f3dd061
ocamlx(NCoq_Init_Logic) = 41d65a6a2b1c55d6e2f10cf6ded4b229
ocamlx(NCoq_Init_Nat) = 64321e52710eeaa352d709d8ccafe6cf
ocamlx(NCoq_Init_Specif) = deb5ee0a23525d72a763da2cf5baa68d
ocamlx(NCoq_Lists_List) = 8907851d368bbc622072348a2536b0a3
ocamlx(NCoq_NArith_BinNat) = 8030f1e067c21d77c7fc3b4522cf5f47
ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9
ocamlx(NCoq_PArith_BinPos) = 29ff38614d02d547af2edc8d670f7ac6
ocamlx(NCoq_Reals_RIneq) = ace642a0a89874c46b62609556a3c508
ocamlx(NCoq_Reals_R_sqrt) = 8645e3c7e95ee4f2171a8e92402e59ac
ocamlx(NCoq_Reals_Rbasic_fun) = f3c63708716b1be443577d544b2fdd63
ocamlx(NCoq_Reals_Rdefinitions) = 84bd14c8e9395f487c90a05f13b6e658
ocamlx(NCoq_Reals_Rfunctions) = 18722884c56dce32f5a6bff4d0bf700a
ocamlx(NCoq_Reals_Rpower) = 82f3dcdf6928f8e125bc0a26d0349224
ocamlx(NCoq_ZArith_BinInt) = c4a9b46f1cfaa7b4241dfdf95e572d2b
ocamlx(NCoq_ZArith_BinIntDef) = 0ee832e10a1d1662253874add500f87c
ocamlx(NCoq_ZArith_ZArith_dec) = 7fc232044fc24cccd04e1999e0a296c9
ocamlx(NCoq_ZArith_Zbool) = fa2c610108e4b1dc6ecc995c02a6e91a
ocamlx(NCoq_ZArith_Zorder) = f58f71b9d32cc4ff6346e9d051ffbe39
ocamlx(NCoq_ZArith_Zpower) = 1712cf7e6612ab942b61af05f5688f64
ocamlx(NFlocq_Calc_Bracket) = e86af0d7a2d53dc625c05b5fcf5bfbc1
ocamlx(NFlocq_Calc_Operations) = 4d52c8f245c5f69c8c9534fd9ee6c6a5
ocamlx(NFlocq_Calc_Round) = 54a13b06f37f382773e8803da04417d0
ocamlx(NFlocq_Core_Defs) = 4b42074316049648ad080770f23f8c11
ocamlx(NFlocq_Core_Digits) = 0fdc747f08078736a4ef6833fbc278a5
ocamlx(NFlocq_Core_FIX) = bbd654dd08e2a57997000dd4c0b82602
ocamlx(NFlocq_Core_FLT) = c0c0f330b08d4f746230beffb79226ba
ocamlx(NFlocq_Core_Generic_fmt) = afa7db6acea3c0d2dec498e4b95b843a
ocamlx(NFlocq_Core_Raux) = d1f8a1bb3790bcd842b632e727253baf
ocamlx(NFlocq_Core_Ulp) = 93bd7fe4192e362bd60807f6d3e7627d
ocamlx(NFlocq_Core_Zaux) = b2f8fe1005f89231f233f41a222836a4
ocamlx(NFlocq_IEEE754_Binary) = f37a08abe6a3cc07422a9c5e3fdaed93
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = a771076304ef59e91d552295089f4153
ocamlx(NFlocq_Pff_Pff) = 0bcf4b3cfa08df6deffecd01929e9335
ocamlx(Nativecode) = c17d0426962a98295fddb7dff30020d7
ocamlx(Nativevalues) = e9d24fbbfd9a8224482ba16fc3c48b26
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

* 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
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 3.4.2-5
  - OCaml 4.13.1 build
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 3.4.2-4
  - Try to build on s390x with OCaml 4.13
* Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 3.4.2-2
  - Rebuild for rebuilt coq
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 3.4.2-1
  - Version 3.4.2
* Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 3.4.0-6
  - Rebuild for coq 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 3.4.0-5
  - Rebuild for coq 8.13.1 and ocaml-zarith 1.12
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 3.4.0-4
  - OCaml 4.12.0 build
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 3.4.0-3
  - Rebuild for coq 8.13.0
  - Use native compilation when available
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Fri Jan 01 2021 Jerry James <loganjerry@gmail.com> - 3.4.0-1
  - Version 3.4.0
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 3.3.1-9
  - Rebuild for coq 8.12.2
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 3.3.1-8
  - Rebuild for coq 8.12.1
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 3.3.1-7
  - Flocq is installed in an archful directory, so cannot be noarch
  - ExcludeArch s390x due to bz 1874879

Files

/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/045d61a92faa5a0e324d4d6e2cd045903049a8
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/8b3a8ffbc0fc6a0f19b42b876ac57b79b551d5
/usr/lib/.build-id/13
/usr/lib/.build-id/13/5e33d083d92e27e5a8e3e70f426231a976a805
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/3379b106bea02d5afc4d62eb1e65d18a4fad45
/usr/lib/.build-id/26
/usr/lib/.build-id/26/b67f33b6c06c3f8ae65038aadcfab03a6a0c2f
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/f3cec07f9d3093f8ad5691f52281547f5750b3
/usr/lib/.build-id/32
/usr/lib/.build-id/32/b4c8d0c8ff988ca48379799c580b423ce1f272
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/5b995bf9836ec7e78eb5e29e14c52cbd57ffb1
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/b4c9c64f15e82042633d09b04cd960acf71dca
/usr/lib/.build-id/41
/usr/lib/.build-id/41/1ffa20811e2081073fc0ad5834f5f6a191d302
/usr/lib/.build-id/43
/usr/lib/.build-id/43/5e80f72e3c5a3e5b6eade926d369742f091aac
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/f8d457d8ecf79f1f7951b0473dd8c803e82e58
/usr/lib/.build-id/58
/usr/lib/.build-id/58/075d8b9cc70c06bbfdd52f530f17f82a321008
/usr/lib/.build-id/64
/usr/lib/.build-id/64/567efe521053dec66479d507218e368c515db3
/usr/lib/.build-id/64/8b9e5e7147102bb5fe1a6a77ae8496161ee7ff
/usr/lib/.build-id/66
/usr/lib/.build-id/66/49442e5ae97924c82db22b0192ce55006d7e15
/usr/lib/.build-id/70
/usr/lib/.build-id/70/58b05d3420cda58ee347460134a862cb438490
/usr/lib/.build-id/75
/usr/lib/.build-id/75/cfa308b1adb412c4f67339686ce2f1be361327
/usr/lib/.build-id/80
/usr/lib/.build-id/80/0a883803f13eb4b06462b049e4e60c980f905c
/usr/lib/.build-id/82
/usr/lib/.build-id/82/5e977bed2ace99d7adf695b6b31eeb1c8a5305
/usr/lib/.build-id/83
/usr/lib/.build-id/83/b7320743a1f9b4fec1e21f295c6fef79bdff6d
/usr/lib/.build-id/84
/usr/lib/.build-id/84/6ef947c687777d5eee8ae7952db0eb7683fe65
/usr/lib/.build-id/89
/usr/lib/.build-id/89/89557001f0128b8a0f8e94a242fd8daad65e9e
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/1e72f5921c76d76cfb6515e36a425f3e6c2115
/usr/lib/.build-id/91
/usr/lib/.build-id/91/537a8dafa649d1f63b711e32b524dd2854cf54
/usr/lib/.build-id/92
/usr/lib/.build-id/92/f89cc9cb2be215fb22a35f7957c6318d17aeb8
/usr/lib/.build-id/97
/usr/lib/.build-id/97/d7828768a523614794a97a3dfc1e4924dc0263
/usr/lib/.build-id/98
/usr/lib/.build-id/98/c424b53da101a0af929057e2bc043ba3706dff
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/c25cc740ed56c155b7bf3e8d7a7d708526354e
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/7770c1aa9a2f6307ae9ad0dd6dee69d47cd8ff
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/808a26a70f07f2e2fc9446d3c10fb785d7cef3
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/4e6785c97f63482ed45ab74b9051b52b370b8b
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/51acd8420330256556e3cc856eb1539b15ac8b
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/5d7b7b62dbb9f8c1b7a71f41aee416e36f2886
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/84c02db38addd0b5f4a56e12c328fe1e7cd028
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/4a26f68627a6e4f28f3e66497109999cb805f4
/usr/lib/.build-id/f1
/usr/lib/.build-id/f1/40e49d67708dd3bdb1c8538ec8a2f9f33925f5
/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 9 20:33:48 2024

flocq-4.1.0-1.fc37 RPM for x86_64

From Fedora 37 for x86_64 / f

Provides

Requires

License

Changelog

Files