Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
science
flocq
flocq.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File flocq.changes of Package flocq
------------------------------------------------------------------- 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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor