Overview Repositories Revisions Requests Users Attributes Meta

Revisions of flocq

Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1142145 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 7) 
- Update to version 4.1.4.
  * Ensured compatibility from Coq 8.12 to 8.19.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1111804 from Aaron Puchert's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 1075337 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 5) 
- Update to version 4.1.1.
  * Ensured compatibility from Coq 8.12 to 8.17.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 1061435 from Aaron Puchert's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 980558 from Aaron Puchert's avatar 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's avatar Dominique Leuenberger (dimstar_suse) accepted request 974213 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
- Initial submit based on version 4.0.0.
Displaying all 7 revisions
openSUSE Build Service is sponsored by
Places