Overview Repositories Revisions Requests Users Attributes Meta

Revisions of flocq

buildservice-autocommit accepted request 1142145 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 16) 
baserev update by copy to link target
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 15) 
- Update to version 4.1.4.
  * Ensured compatibility from Coq 8.12 to 8.19.
buildservice-autocommit accepted request 1111804 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 14) 
baserev update by copy to link target
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 13) 
- 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`.
buildservice-autocommit accepted request 1075337 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 12) 
baserev update by copy to link target
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 11) 
- Update to version 4.1.1.
  * Ensured compatibility from Coq 8.12 to 8.17.
buildservice-autocommit accepted request 1061435 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 10) 
baserev update by copy to link target
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 9) 
- 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.
buildservice-autocommit accepted request 986285 from Lars Vogdt's avatar Lars Vogdt (lrupp) (revision 8) 
baserev update by copy to link target
Lars Vogdt's avatar Lars Vogdt (lrupp) accepted request 986070 from Bernhard Wiedemann's avatar Bernhard Wiedemann (bmwiedemann) (revision 7) 
Add Git-Clone URL
buildservice-autocommit accepted request 980558 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 6) 
baserev update by copy to link target
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 5) 
- Reword changelog.
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 4) 
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc also for older Coq versions since they don't
  understand --coqlib_url.
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 3) 
- Update to version 4.1.0.
  * Added `Bnearbyint` and `Btrunc` in `IEEE754`.
  * Ensured compatibility from Coq 8.12 to 8.16.
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 974213 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 2) 
initialized devel package after accepting 974213
Atri Bhattacharya's avatar Atri Bhattacharya (badshah400) accepted request 974183 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
- Initial submit based on version 4.0.0.
Displaying all 16 revisions
openSUSE Build Service is sponsored by
Places