Package Release Info

flocq-4.1.0-bp155.1.9

Update Info: Base Release
Available in Package Hub : 15 SP5

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

flocq

flocq-devel

flocq-doc

Change Logs

* Thu Jun 30 2022 Bernhard Wiedemann <bwiedemann@suse.com>

- Add Git-Clone URL

* Thu Jun 02 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 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 05 2020 Peter Trommler <ptrommler@icloud.com>

- update to 3.2.0
  * compatibility with coq 8.10

* Thu Oct 11 2018 ptrommler@icloud.com

- update to 3.0.0
  * compatibility with coq 8.8

* Thu Nov 02 2017 ptrommler@icloud.com

- update to 2.6.0
  * fix compile with coq 8.7.0

* Thu Apr 13 2017 peter.trommler@ohm-hochschule.de

- update to 2.5.2 from upstream

* Tue Nov 05 2013 peter.trommler@ohm-hochschule.de

- update to 2.2.0 from upstream

* Wed Dec 26 2012 peter.trommler@ohm-hochschule.de

- remove coq version constraint

* Thu Nov 29 2012 peter.trommler@ohm-hochschule.de

- imported from Fedora
- adapted to openSUSE packaging guidelines