Name: flocq	Distribution: Fedora Project
Version: 4.1.0	Vendor: Fedora Project
Release: 5.fc38	Build date: Tue Jan 24 18:47:08 2023
Group: Unspecified	Build host: buildvm-s390x-08.s390.fedoraproject.org
Size: 26429536	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(s390-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) = 4eb6d4a57dafaa753a334bfa2f860787
ocamlx(NCoq_Bool_Bool) = 1f993fa6a7728d4b28fa15bc4d731358
ocamlx(NCoq_Floats_FloatAxioms) = 4ce9c005088a858a06c4029ef1afba24
ocamlx(NCoq_Floats_FloatOps) = 9f4bd1b2ec622b45d99b5db64161a753
ocamlx(NCoq_Floats_SpecFloat) = 130abde8c7fd6f1107cb1795eea00e62
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) = 794e7e44ac9465021387a85b14f062be
ocamlx(NCoq_Numbers_BinNums) = 8add6981da76a4e4049478832940e033
ocamlx(NCoq_PArith_BinPos) = 080f88bef1aed6270d5b7e1db2a7315b
ocamlx(NCoq_Reals_RIneq) = 33581d287e15cfd1245beac7dd135946
ocamlx(NCoq_Reals_R_sqrt) = ef986afa1412be717678ede9f0acc5b6
ocamlx(NCoq_Reals_Rbasic_fun) = 6472f01c425f5b8405b6900ec4386fe4
ocamlx(NCoq_Reals_Rdefinitions) = 8dea0ec220221b191ddd8ec62de9bd04
ocamlx(NCoq_Reals_Rfunctions) = 62f95dc64e97a13cabb0f64efd4e2ddc
ocamlx(NCoq_Reals_Rpower) = bed4b6ffdc6fa0c501b0f9b39fef2ccc
ocamlx(NCoq_ZArith_BinInt) = 5f2907245217db4a7141b3edd5ddc6c3
ocamlx(NCoq_ZArith_BinIntDef) = 79199166da0c41c61b6236e04bdd2323
ocamlx(NCoq_ZArith_ZArith_dec) = 52bd63872b5ecd339d9dc3c7d091f7f3
ocamlx(NCoq_ZArith_Zbool) = 7ac81ccec9b06009aaa5b5b521261e40
ocamlx(NCoq_ZArith_Zorder) = f30e4913f594c7c7b1ca7bbd53d35211
ocamlx(NCoq_ZArith_Zpower) = cadd092091ce7353be039a8b6fc7c43f
ocamlx(NFlocq_Calc_Bracket) = 4fbfa62bd7255e68987db8cd320fb10e
ocamlx(NFlocq_Calc_Operations) = dceb1fd6902e34253a2aefbae20e6b6c
ocamlx(NFlocq_Calc_Round) = 05bed90a149982fcee108760fa2f63a5
ocamlx(NFlocq_Core_Defs) = cb34aca3fe43a99fe6225c29ea54c7e0
ocamlx(NFlocq_Core_Digits) = ee663773f23b4692e6116cfabab696ae
ocamlx(NFlocq_Core_FIX) = 333791ba7f1426095611222c24a604e1
ocamlx(NFlocq_Core_FLT) = e341f06a76601250831ca74d5e5f771d
ocamlx(NFlocq_Core_Generic_fmt) = 5faf8d295941b3dbafa181d325f394bb
ocamlx(NFlocq_Core_Raux) = 2a8c0d54f635047ace39d1d86da007cb
ocamlx(NFlocq_Core_Ulp) = 4b9081546ece7f8e7a433a399c756a11
ocamlx(NFlocq_Core_Zaux) = a149486f1936dabce42028b9e1f02312
ocamlx(NFlocq_IEEE754_Binary) = 4d2500299ac1159b737277630f4765cb
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 1f9a2df1a8edf399e7748f2788af8d3b
ocamlx(NFlocq_Pff_Pff) = bd2b87bcb302589cad55fbe6f131e45f
ocamlx(Nativecode) = 49cd9b7fd8218356e30c547d09d3e3d0
ocamlx(Nativevalues) = 8efc76d930a1c8dab7b1d258972069ec
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/00
/usr/lib/.build-id/00/e8f857988b788ef8b6498b1c8df408914e1a56
/usr/lib/.build-id/04
/usr/lib/.build-id/04/65cc9b65ee13cb3e4b380451b235a1beff2a5f
/usr/lib/.build-id/08
/usr/lib/.build-id/08/f99ce7dee810b43e0d6063e859b4dbd8921ae5
/usr/lib/.build-id/16
/usr/lib/.build-id/16/e454619d552b0f321daf5f639f5e66a6faa620
/usr/lib/.build-id/18
/usr/lib/.build-id/18/6ec69194d1f6af27013501a508252ac231de77
/usr/lib/.build-id/19
/usr/lib/.build-id/19/55a8fc05be950e23e880cbde55c8d86cfb6d1c
/usr/lib/.build-id/24
/usr/lib/.build-id/24/65b0eae16bcb626357ec0821202018f9459b63
/usr/lib/.build-id/28
/usr/lib/.build-id/28/d1676413b3102e367eb0d6d336a4ebfa0ab89b
/usr/lib/.build-id/29
/usr/lib/.build-id/29/c611db77b0aab39aaeec5007ee2585511a3683
/usr/lib/.build-id/34
/usr/lib/.build-id/34/57afad70487142ab6e81d86753e67bf8e183c5
/usr/lib/.build-id/47
/usr/lib/.build-id/47/7965255cf6ac778015597a692a11993645c71f
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/5addda04c0f41368ffd239ed2466e86e711ea0
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/17010b64dd9f20ac16632fdc55488287ac1687
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/d378de9d9f9c0698762685a8c84fceb4febf79
/usr/lib/.build-id/66
/usr/lib/.build-id/66/add843cb602418483f8e2437ac948fd13aad3c
/usr/lib/.build-id/71
/usr/lib/.build-id/71/14024aa8bada74dd9d7a412bd3ae44ab0dd9ea
/usr/lib/.build-id/77
/usr/lib/.build-id/77/fea2aece77d600d8b2fa7e9e2d117ab196f763
/usr/lib/.build-id/7c
/usr/lib/.build-id/7c/f9380904867413949634eb1c5937683f46644a
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/56b5a2fd2dcf0f968fcbb5128ddcafd2ad2d06
/usr/lib/.build-id/80
/usr/lib/.build-id/80/2d275a628d2d027ec1f7ce22cc4955d50351c9
/usr/lib/.build-id/80/a2825fec0088d9ae774c48ae8ae4f16460be83
/usr/lib/.build-id/85
/usr/lib/.build-id/85/be8ed46cb6217576bce054ceddd59ac433723e
/usr/lib/.build-id/93
/usr/lib/.build-id/93/62ee123f2889d7e0de63caa9f6e483df8895dc
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/dd2051ae4991a1f181a7bdecd605ce5e75abd6
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/856f7754cd4b57df256e1363a523bf6b4354b2
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/5e7a009c420a32499b40145ea2c07e8932f421
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/70425594bbd81006642345f5ea06616ab69b83
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/220aa80dbe631e5967c9d00f2396a9bb014a67
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/dea20418c165d57a87eac254dfd28d6630bbc0
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/9522689d7ffd15cf4d5eb5b5e4ee75e46654bc
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/6ebf70d2989bed1c6ee7f1aec8b42a1e4a04b9
/usr/lib/.build-id/da
/usr/lib/.build-id/da/d20e4dd1b70dc0199ff5068df3d123bc363e2a
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/d69da131e139e3513a490ac95ab0423844d117
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/6d943665a17acc4965317b9803e091fe4089f8
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/bb55b07df87b99973bf495af33f97d53d71a44
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/2b56018b91ea788bc31c20102c18224486e453
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/4bbfa52bcf1af25babb8c3110ca73f8014949b
/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 23:07:34 2024

flocq-4.1.0-5.fc38 RPM for s390x

From Fedora 38 for s390x / f

Provides

Requires

License

Changelog

Files