2024-07-25 20:48:59 +02:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Thu Jul 25 07:00:59 UTC 2024 - Frantisek Simorda <frantisek.simorda@suse.com>
|
|
|
|
|
|
|
|
|
|
- Update to version 4.2.0.
|
2024-07-25 21:12:53 +02:00
|
|
|
* Added SF2B' as a proof-free variant of SF2B.
|
|
|
|
|
* Fixed installation of Pff2Flocq.
|
|
|
|
|
* Ensured compatibility from Coq 8.12 to 8.20.
|
2024-07-25 20:48:59 +02:00
|
|
|
|
|
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sun Jan 28 22:40:44 UTC 2024 - Aaron Puchert <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- Update to version 4.1.4.
|
|
|
|
|
* Ensured compatibility from Coq 8.12 to 8.19.
|
|
|
|
|
|
|
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sun Sep 17 18:49:04 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- 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 18:55:13 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- Update to version 4.1.1.
|
|
|
|
|
* Ensured compatibility from Coq 8.12 to 8.17.
|
|
|
|
|
|
|
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Thu Jan 26 22:02:12 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- 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 <bwiedemann@suse.com>
|
|
|
|
|
|
|
|
|
|
- Add Git-Clone URL
|
|
|
|
|
|
|
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Thu Jun 2 21:40:52 UTC 2022 - Aaron Puchert <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- 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 <aaronpuchert@alice-dsl.net>
|
|
|
|
|
|
|
|
|
|
- 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 <ptrommler@icloud.com>
|
|
|
|
|
|
|
|
|
|
- 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
|
|
|
|
|
|
