Aaron Puchert
|
4678d28ed1
|
- 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`.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=13
|
2023-09-17 18:50:28 +00:00 |
|
Aaron Puchert
|
a3d0bd4298
|
- Update to version 4.1.1.
* Ensured compatibility from Coq 8.12 to 8.17.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=11
|
2023-03-29 19:03:02 +00:00 |
|
Aaron Puchert
|
2aa2942b02
|
- 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.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=9
|
2023-01-26 23:09:12 +00:00 |
|
Lars Vogdt
|
63f4b9f993
|
Accepting request 986070 from home:bmwiedemann:branches:science
Add Git-Clone URL
OBS-URL: https://build.opensuse.org/request/show/986070
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=7
|
2022-07-01 19:41:32 +00:00 |
|
Aaron Puchert
|
c871722689
|
- Reword changelog.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=5
|
2022-06-02 23:44:38 +00:00 |
|
Aaron Puchert
|
7afcbc2971
|
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc also for older Coq versions since they don't
understand --coqlib_url.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=4
|
2022-06-02 22:19:12 +00:00 |
|
Aaron Puchert
|
387644463d
|
- Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=3
|
2022-06-02 21:57:28 +00:00 |
|
Dominique Leuenberger
|
b09939b9fc
|
Accepting request 974213 from science
- Initial submit based on version 4.0.0.
OBS-URL: https://build.opensuse.org/request/show/974213
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=1
|
2022-05-02 14:25:00 +00:00 |
|
|
|
201214b7cf
|
Accepting request 974183 from home:aaronpuchert
- Initial submit based on version 4.0.0.
OBS-URL: https://build.opensuse.org/request/show/974183
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=1
|
2022-05-01 19:52:45 +00:00 |
|
