Revisions of flocq
Dominique Leuenberger (dimstar_suse)
accepted
request 1189653
from
Aaron Puchert (aaronpuchert)
(revision 8)
- Update to version 4.2.0. * Added SF2B' as a proof-free variant of SF2B. * Fixed installation of Pff2Flocq. * Ensured compatibility from Coq 8.12 to 8.20.
Ana Guerrero (anag+factory)
accepted
request 1142145
from
Aaron Puchert (aaronpuchert)
(revision 7)
- Update to version 4.1.4. * Ensured compatibility from Coq 8.12 to 8.19.
Dominique Leuenberger (dimstar_suse)
accepted
request 1111804
from
Aaron Puchert (aaronpuchert)
(revision 6)
- 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`.
Dominique Leuenberger (dimstar_suse)
accepted
request 1075337
from
Aaron Puchert (aaronpuchert)
(revision 5)
- Update to version 4.1.1. * Ensured compatibility from Coq 8.12 to 8.17.
Dominique Leuenberger (dimstar_suse)
accepted
request 1061435
from
Aaron Puchert (aaronpuchert)
(revision 4)
- 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.
Dominique Leuenberger (dimstar_suse)
accepted
request 980558
from
Aaron Puchert (aaronpuchert)
(revision 2)
- 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.
Dominique Leuenberger (dimstar_suse)
accepted
request 974213
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial submit based on version 4.0.0.
Displaying all 8 revisions
