Changelog for flocq-4.2.0-bp154.27.1.x86_64.rpm :

* Thu Jul 25 2024 Frantisek Simorda - Update to version 4.2.0.
* Added SF2B\' as a proof-free variant of SF2B.
* Fixed installation of Pff2Flocq.
* Ensured compatibility from Coq 8.12 to 8.20.
* Sun Jan 28 2024 Aaron Puchert - Update to version 4.1.4.
* Ensured compatibility from Coq 8.12 to 8.19.
* Sun Sep 17 2023 Aaron Puchert - Update to version 4.1.2.
* Ensured compatibility from Coq 8.12 to 8.18.- Update to version 4.1.3.
* Avoided breaking users of `IEEE754.PrimFloat`.
* Wed Mar 29 2023 Aaron Puchert - Update to version 4.1.1.
* Ensured compatibility from Coq 8.12 to 8.17.
* Thu Jan 26 2023 Aaron Puchert - Build with ocaml-rpm-macros to get proper Requires and Provides for flocq-devel. This should prevent incompatibilities with other Ocaml libraries when building native objects against flocq-devel.
* Thu Jun 30 2022 Bernhard Wiedemann - Add Git-Clone URL
* Thu Jun 02 2022 Aaron Puchert - Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.- Fix patching of coqdoc invocation, make it more robust.- Patch up coqdoc invocation also for older Coq versions since they don\'t understand --coqlib_url.
* Fri Apr 15 2022 Aaron Puchert - Update to version 4.0.0.
* Made Coq 8.12 the minimal version and removed the `IEEE754.SpecFloatCompat` layer
* Removed automatic export of `ZArith` and `Reals` from `Core.Raux` and `Core.Core`
* Proved a close/far-path adder in `Calc.Plus`.
* Made `IEEE754.Binary` a wrapper around `IEEE754.BinarySingleNaN`.- Put development files into separate package.- Let documentation point to coq-doc.
* Wed Feb 05 2020 Peter Trommler - update to 3.2.0
* compatibility with coq 8.10
* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 3.0.0
* compatibility with coq 8.8
* Thu Nov 02 2017 ptrommlerAATTicloud.com- update to 2.6.0
* fix compile with coq 8.7.0
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 2.5.2 from upstream