pool/flocq
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
b6a391684c
flocq/flocq.changes

96 lines
3.4 KiB
Plaintext
Raw Normal View History

- Update to version 4.1.4. * Ensured compatibility from Coq 8.12 to 8.19. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=15
2024-01-28 23:42:01 +01: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.
- 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`. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=13
2023-09-17 20:50:28 +02:00
-------------------------------------------------------------------
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`.
- Update to version 4.1.1. * Ensured compatibility from Coq 8.12 to 8.17. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=11
2023-03-29 21:03:02 +02:00
-------------------------------------------------------------------
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.
- 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. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=9
2023-01-27 00:09:12 +01:00
-------------------------------------------------------------------
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.
Accepting request 986070 from home:bmwiedemann:branches:science Add Git-Clone URL OBS-URL: https://build.opensuse.org/request/show/986070 OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=7
2022-07-01 21:41:32 +02:00
-------------------------------------------------------------------
Thu Jun 30 12:56:30 UTC 2022 - Bernhard Wiedemann <bwiedemann@suse.com>
- Add Git-Clone URL
- Update to version 4.1.0. * Added `Bnearbyint` and `Btrunc` in `IEEE754`. * Ensured compatibility from Coq 8.12 to 8.16. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=3
2022-06-02 23:57:28 +02:00
-------------------------------------------------------------------
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 also for older Coq versions since they don't understand --coqlib_url. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=4
2022-06-03 00:19:12 +02:00
- Fix patching of coqdoc invocation, make it more robust.
- Reword changelog. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=5
2022-06-03 01:44:38 +02:00
- Patch up coqdoc invocation also for older Coq versions since they
don't understand --coqlib_url.
- Update to version 4.1.0. * Added `Bnearbyint` and `Btrunc` in `IEEE754`. * Ensured compatibility from Coq 8.12 to 8.16. OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=3
2022-06-02 23:57:28 +02:00
Accepting request 974183 from home:aaronpuchert - Initial submit based on version 4.0.0. OBS-URL: https://build.opensuse.org/request/show/974183 OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=1
2022-05-01 21:52:45 +02:00
-------------------------------------------------------------------
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
Reference in New Issue Copy Permalink