Name: flocq	Distribution: Fedora Project
Version: 4.1.0	Vendor: Fedora Project
Release: 1.fc37	Build date: Sat Sep 17 01:08:56 2022
Group: Unspecified	Build host: buildvm-s390x-12.s390.fedoraproject.org
Size: 26429536	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(s390-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) = 7498a48b2fe233db683be47d48c215fc
ocamlx(NCoq_Bool_Bool) = 3f077edca92ed17f44c66137c4136c04
ocamlx(NCoq_Floats_FloatAxioms) = d197e518b29a0b9adc4a3ec393a06902
ocamlx(NCoq_Floats_FloatOps) = 955c1fd2218169d08e022e293c75ab08
ocamlx(NCoq_Floats_SpecFloat) = c356ad7392a9629e0a65ec307a06bfa3
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) = 19dc97790aa8fd60b0b8835c17ab2206
ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9
ocamlx(NCoq_PArith_BinPos) = 1e8b3ca260e0a0ff81f3991f27f1be38
ocamlx(NCoq_Reals_RIneq) = 37d05c1cbbb0b1be712c17e4be627ac1
ocamlx(NCoq_Reals_R_sqrt) = 27b338f7a9c7ab544cf1067dbd948ae9
ocamlx(NCoq_Reals_Rbasic_fun) = 2c165e553032f50d013dc3e0ad2b2069
ocamlx(NCoq_Reals_Rdefinitions) = 8a9cac064a58a982fe19448f6fbaa88d
ocamlx(NCoq_Reals_Rfunctions) = 619dbcc0d97ba223da5000be188b512b
ocamlx(NCoq_Reals_Rpower) = a6988a1bdaab201398cfba5ef90521c2
ocamlx(NCoq_ZArith_BinInt) = 72c720a0aa3efbe0e6c6319c8bf70f35
ocamlx(NCoq_ZArith_BinIntDef) = c41b7ecc88fb8f2ffc74fd632188d192
ocamlx(NCoq_ZArith_ZArith_dec) = e7a44ad0178530c860fa5a0e5d0b1179
ocamlx(NCoq_ZArith_Zbool) = 385a4314bd8a1898f5ec08d609499805
ocamlx(NCoq_ZArith_Zorder) = 8601a05a7fe9d375161317c881a7886d
ocamlx(NCoq_ZArith_Zpower) = 277dd7090eabd4d926b59df95dc9bfc3
ocamlx(NFlocq_Calc_Bracket) = 3d31e09b74ed1764d3db0dc7175b582b
ocamlx(NFlocq_Calc_Operations) = bbe16fc226f63d82d2c00b638388d876
ocamlx(NFlocq_Calc_Round) = 5b6d7fff886637652807b0f744f13c35
ocamlx(NFlocq_Core_Defs) = 6c4fbabb9ee8c716a14fb9c88344efcf
ocamlx(NFlocq_Core_Digits) = b55af0abc760161eb74d1370e11f5796
ocamlx(NFlocq_Core_FIX) = e9f22c722924b9087745edcfafb586df
ocamlx(NFlocq_Core_FLT) = 3457e146bd1589bbbb715b06d981bfff
ocamlx(NFlocq_Core_Generic_fmt) = f33112991884b0feba63423e902855cf
ocamlx(NFlocq_Core_Raux) = 778dc25fb40a439e00cd6247a4c8d42b
ocamlx(NFlocq_Core_Ulp) = b8934ecd5e61c7663d220d63a2f14c43
ocamlx(NFlocq_Core_Zaux) = eab15085b1a9e247d34111f271a1633e
ocamlx(NFlocq_IEEE754_Binary) = ff698a8fec15666d6bb42914ce7202bb
ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 51cc38214df3bcda64d78da80d9cfb88
ocamlx(NFlocq_Pff_Pff) = 241dd9934c642e710dee3217c1d1288e
ocamlx(Nativecode) = 3159e35fd3d173eaa4e8d37257f49a13
ocamlx(Nativevalues) = fa348a530a9293576051e0b50d86eb44
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/02
/usr/lib/.build-id/02/dc0fdfb8fed6b013b2c14f80f7ac68c1b6c091
/usr/lib/.build-id/04
/usr/lib/.build-id/04/8db312c948a1dbf3db5290fa787fb995b35ca2
/usr/lib/.build-id/07
/usr/lib/.build-id/07/95d98f8dfdf3649fc3eab1182e0289439636de
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/b7e24730d09c697025cb077440b75067005726
/usr/lib/.build-id/18
/usr/lib/.build-id/18/058a6edecc191f5b11e2f941ba74daef295a4a
/usr/lib/.build-id/18/6d8a383c5e96d227e18b8538b75262be62b99a
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/c4bdbe7b55b6169aced7f3a55c7d298a1b0c92
/usr/lib/.build-id/29
/usr/lib/.build-id/29/14434dc5921b296e2cc910b8448e029c580b83
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/66339e1c60a35955a8ffc90976b606122ce5f2
/usr/lib/.build-id/33
/usr/lib/.build-id/33/dba28081d532807d6b99050efa15d832a935e5
/usr/lib/.build-id/39
/usr/lib/.build-id/39/0490de58d6dbdf549340290bdf40594d8cab28
/usr/lib/.build-id/49
/usr/lib/.build-id/49/53643ba1a61b4497fe836eec5c89329d1e2681
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/75e99528c13733dd62ed809c3bb5eb53b06584
/usr/lib/.build-id/54
/usr/lib/.build-id/54/7760313142e94c3f5096e38fda1c4dd828f638
/usr/lib/.build-id/54/89ff72c63ae842e29c35aa5b2fc20043295a5d
/usr/lib/.build-id/58
/usr/lib/.build-id/58/220e4e86650a509aee1799efc11984f01cec65
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/0e2958da64aab15d055ab2412c7c3638f310af
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/23315be3737298ec0ed83cef7236b27e22bb84
/usr/lib/.build-id/6d/64e7eadff17de725ff25904f1ae2a00efdc80e
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/fea4665cab84b9a22ab292ba78f73230b18f96
/usr/lib/.build-id/79
/usr/lib/.build-id/79/c0132b452b0c69baad6a5569cdbe46d73ad00e
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/3b10dc108e39fed20773e3367369f3d4d93cf3
/usr/lib/.build-id/99
/usr/lib/.build-id/99/4abf21be73087c9f9ff66407a88c97ab675f3e
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/360a62a9632072d7ec6df64c8a7194caeb98a3
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/5e9474ccc3d12a90c2840ec4828b5d74f6f5d4
/usr/lib/.build-id/a3/b23209b90fa77251044db2bd776e7c3040d76d
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/add53273cc4805bc18aa2d30ec54e754c9302c
/usr/lib/.build-id/a9/c57b0aaa79c5a4256121ec6c8c3d2f28825486
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/97ce109f74ddf2b3181d287b9520718716298e
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/ea809dc2b4ec9b95d88c50595aadaaa4a2a4d9
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/06f14b360cdd6186a0e691f5b38e9fa6a5b7f2
/usr/lib/.build-id/bd/73afd37566fdc42e5757970397de559090f1cf
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/829a56beefe7d8b2098c98ca9ac518b22b9c14
/usr/lib/.build-id/df
/usr/lib/.build-id/df/a629b314c9f5ff384c2dedf2b9461465e73737
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/f05c26d8f5d253a447aeeaa31948f4ff3fbf83
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/301afffeda4634700912ab5acfd1aaa49b1104
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/87385a9b118f6af2c8ab52255b758c2442ee00
/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 21:25:34 2024

flocq-4.1.0-1.fc37 RPM for s390x

From Fedora 37 for s390x / f

Provides

Requires

License

Changelog

Files