------------------------------------------------------------------- Thu Jan 26 22:02:12 UTC 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 12:56:30 UTC 2022 - Bernhard Wiedemann - Add Git-Clone URL ------------------------------------------------------------------- Thu Jun 2 21:40:52 UTC 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 16:41:08 UTC 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 5 15:45:36 UTC 2020 - Peter Trommler - update to 3.2.0 *compatibility with coq 8.10 ------------------------------------------------------------------- Thu Oct 11 10:45:40 UTC 2018 - ptrommler@icloud.com - update to 3.0.0 * compatibility with coq 8.8 ------------------------------------------------------------------- Thu Nov 2 16:06:54 UTC 2017 - ptrommler@icloud.com - update to 2.6.0 * fix compile with coq 8.7.0 ------------------------------------------------------------------- Thu Apr 13 11:03:22 UTC 2017 - peter.trommler@ohm-hochschule.de - update to 2.5.2 from upstream ------------------------------------------------------------------- Tue Nov 5 13:38:55 UTC 2013 - peter.trommler@ohm-hochschule.de - update to 2.2.0 from upstream ------------------------------------------------------------------- Wed Dec 26 19:35:24 UTC 2012 - peter.trommler@ohm-hochschule.de - remove coq version constraint ------------------------------------------------------------------- Thu Nov 29 15:52:00 UTC 2012 - peter.trommler@ohm-hochschule.de - imported from Fedora - adapted to openSUSE packaging guidelines