Changelog for flocq-doc-4.1.0-bp155.1.9.noarch.rpm :

* 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
* Tue Nov 05 2013 peter.trommlerAATTohm-hochschule.de- update to 2.2.0 from upstream
* Wed Dec 26 2012 peter.trommlerAATTohm-hochschule.de- remove coq version constraint
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- imported from Fedora- adapted to openSUSE packaging guidelines