openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File flocq.changes of Package flocq (Revision eb2589eeba8e6c4aca92f5e4ad03dc93)

Currently displaying revision eb2589eeba8e6c4aca92f5e4ad03dc93 , Show latest

-------------------------------------------------------------------
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

Places

File flocq.changes of Package flocq (Revision eb2589eeba8e6c4aca92f5e4ad03dc93)

Places