Name: flocq	Distribution: Fedora Project
Version: 4.1.0	Vendor: Fedora Project
Release: 5.fc38	Build date: Tue Jan 24 18:47:10 2023
Group: Unspecified	Build host: buildvm-a64-04.iad2.fedoraproject.org
Size: 32552448	Source RPM: flocq-4.1.0-5.fc38.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(aarch-64) = 8.16.1
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) = 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__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) = 0573444d7d158417dbd5f4f46081e73b
ocamlx(NCoq_Bool_Bool) = 1f993fa6a7728d4b28fa15bc4d731358
ocamlx(NCoq_Floats_FloatAxioms) = 3125777e5604fa4b18d236df25310d18
ocamlx(NCoq_Floats_FloatOps) = 2e0daa3c5f4d770e81cf3c3f94d3e99b
ocamlx(NCoq_Floats_SpecFloat) = 1d6265a0f1fddbe033396020738d33f7
ocamlx(NCoq_Init_Datatypes) = 48bef1774c24de06f4788df1cc458a22
ocamlx(NCoq_Init_Logic) = 0f42f274405f8931bcd744b7479f9d9d
ocamlx(NCoq_Init_Nat) = d1b22dbf125594d15c039763555e44fd
ocamlx(NCoq_Init_Specif) = 3b73ff2cf90a49f6a96088e51cab2ae6
ocamlx(NCoq_Lists_List) = 1df58dc8f3254487ae4b572d841cab42
ocamlx(NCoq_NArith_BinNat) = 7ba4416a677d16f71f4a1f8a524e4bac
ocamlx(NCoq_Numbers_BinNums) = 8add6981da76a4e4049478832940e033
ocamlx(NCoq_PArith_BinPos) = 3128d0965efc9c3922a2768691979019
ocamlx(NCoq_Reals_RIneq) = be7bf7b7f9876ec3e738e7733fbae5e5
ocamlx(NCoq_Reals_R_sqrt) = 5c48034ee4ffa23c88a0ab73e8468e47
ocamlx(NCoq_Reals_Rbasic_fun) = b5bacab41ebee12e582641208b3804c2
ocamlx(NCoq_Reals_Rdefinitions) = 6250c86ce1ae948d89e2d38750933a81
ocamlx(NCoq_Reals_Rfunctions) = c40c84e1b8310839b0ec2594aefb4af0
ocamlx(NCoq_Reals_Rpower) = 09746c1708cc34b221f84d74c69c2e28
ocamlx(NCoq_ZArith_BinInt) = beb16bfad8352a59c2e71b3805cd02ee
ocamlx(NCoq_ZArith_BinIntDef) = 71a9b559330273c334afbdf3d9291a61
ocamlx(NCoq_ZArith_ZArith_dec) = c400cd47f09d60e1acc1c6d92923b094
ocamlx(NCoq_ZArith_Zbool) = b987e292cf3ccb13995721ccf9216174
ocamlx(NCoq_ZArith_Zorder) = 7b6e34c0a8d2877f767a39355a236b90
ocamlx(NCoq_ZArith_Zpower) = a07754735f4ae25357c27b5f311f1e95
ocamlx(NFlocq_Calc_Bracket) = 9f1988d3ee097b94fc84ad794e5087c7
ocamlx(NFlocq_Calc_Operations) = 69638fe4b6e1b4d3c38facde64e59f20
ocamlx(NFlocq_Calc_Round) = 660a6762f24856ad83a3abc58bd2ba39
ocamlx(NFlocq_Core_Defs) = bafb01d40c4dfb7df787bab4600cbe19
ocamlx(NFlocq_Core_Digits) = 0fb36203312e0ed58e653fa4d645c560
ocamlx(NFlocq_Core_FIX) = 25f96a7dafabc09e1586d4996effb907
ocamlx(NFlocq_Core_FLT) = e55966b1ac2036934dfe903c02e1f3e5
ocamlx(NFlocq_Core_Generic_fmt) = 5657720b0273057c4294f761ae27d935
ocamlx(NFlocq_Core_Raux) = 7f8798a9ca1480885baa246d5781a16f
ocamlx(NFlocq_Core_Ulp) = 00fd5d058ddc8ef0d052a32aeeeb8979
ocamlx(NFlocq_Core_Zaux) = 3c75459b8113c42b755ef00165c5efe3
ocamlx(NFlocq_IEEE754_Binary) = 736f14bad22f6a266a822db7e1965a50
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 9afee01125f062cf1d547f2b1762f608
ocamlx(NFlocq_Pff_Pff) = 34967e09400a0a515a1a14ae70a1233d
ocamlx(Nativecode) = 378132e12cd0ddc62cbb443b2537e37f
ocamlx(Nativevalues) = b733ab24883fab6226ad7bb0280e587b
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

* 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
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/09
/usr/lib/.build-id/09/c2c625a584b57b57c6e69b1baae6afb6b8cb7b
/usr/lib/.build-id/26
/usr/lib/.build-id/26/005f699cf63f36711a684abf283c47665ec49e
/usr/lib/.build-id/26/3da02a9b9b6bcb89d511088c92d07de0c7ddf0
/usr/lib/.build-id/47
/usr/lib/.build-id/47/cdfe7421022548fb028e5b6d784b6852a5565b
/usr/lib/.build-id/50
/usr/lib/.build-id/50/c3ccd68cb61ade6ff18b9227bb3f69733f86d7
/usr/lib/.build-id/62
/usr/lib/.build-id/62/8a9b39c6d81b818a7bcd173c8395eacef09684
/usr/lib/.build-id/68
/usr/lib/.build-id/68/b8a09a8c1ae0c4013487a6ecffd7df6997611b
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/a9a1fe094d68bd00116ee374504e959f5fbd0a
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/efaf716f959b12d543568c7c2793ca5e630c38
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/d9d914e2687a38e591e0ca4374c108c59b08c4
/usr/lib/.build-id/78
/usr/lib/.build-id/78/e3d3efeb12ec297bf4259c7636364c30abf184
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/064b07cec55ab18311932093ae2b88c2c8a5d4
/usr/lib/.build-id/84
/usr/lib/.build-id/84/3ea659a5e7f432060ccfa3ceba736480366516
/usr/lib/.build-id/84/b1ae7e5e40266fdc9690bd8822d81b024d83cb
/usr/lib/.build-id/90
/usr/lib/.build-id/90/5a3fae58c9e991d2416852af9fbe540cfb0584
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/613c80dbb75e6c444d4a80a79080614240e92d
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/83546aaa7295f2bc00c91cbefa7890418248e4
/usr/lib/.build-id/9e/c89026f0f98f8d9251b068a432038a7503ea6f
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/1acc184bae28c4ae97d9f389b9d6ebc9ba3eb9
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/43536f8097ee2f02a965a294f73ddd6145c46d
/usr/lib/.build-id/a1/c8f585a9956e25b7c1840d3732990d6e8bc67e
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/60fce2bc11a1fb3795899fe4fb968f9e4856fe
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/5896a92e351555fddc39d44a07ba03962e5650
/usr/lib/.build-id/a6/8d41133aecb851f38211f1bf0d212c491667e6
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/a7ce66a2f02dfe5e167103a67c97b2d47ffe9f
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/1f0c0a9d7cbc08b406a44ccfa8f297e3f81a3e
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/d1b9c298860780ab8dd8977be1a233142ad31c
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/da0879d0206675fd758b0f2161cb36967dc468
/usr/lib/.build-id/bc
/usr/lib/.build-id/bc/3bfc0966f943d4463b359ddb47aad6bd9cbc49
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/6675e3e0bfd387c8d4ae35efb08bc1e6a29b91
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/ac579e66f630bd5e5c45d81303ee03355ef59a
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/c0d08ac0d94926b8f3b16e462dcb214ebdaf8a
/usr/lib/.build-id/df
/usr/lib/.build-id/df/5ca8604aacc252fa24bc79436f3d15af95d398
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/67a8ca8fb61c8c77924713aec2ba0983804852
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/f53ef4e7691aefdf6da1d8bf4241154ee4670d
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/04d89843115801843899df218d81701cabb9a4
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/4915770807dbf7b8d22d067c14bbf778257f9f
/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 22:47:55 2024

flocq-4.1.0-5.fc38 RPM for aarch64

From Fedora 38 for aarch64 / f

Provides

Requires

License

Changelog

Files