|
|
94e1e11601
|
Accepting request 1249886 from devel:languages:ocaml
- Update to version 1.14
see included Changes file for details
OBS-URL: https://build.opensuse.org/request/show/1249886
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ocaml-zarith?expand=0&rev=5
|
2025-03-04 17:32:06 +00:00 |
|
|
|
f07d256a92
|
- Update to version 1.14
see included Changes file for details
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=22
|
2025-03-03 09:05:46 +00:00 |
|
|
|
9611bfc991
|
Accepting request 1139281 from devel:languages:ocaml
- Remove usage of dune.configurator because ocamlfind names which
contain a dot are not considered valid anymore with dune 3.13
OBS-URL: https://build.opensuse.org/request/show/1139281
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ocaml-zarith?expand=0&rev=4
|
2024-01-16 20:40:00 +00:00 |
|
|
|
d2d987ad42
|
- Remove usage of dune.configurator because ocamlfind names which
contain a dot are not considered valid anymore with dune 3.13
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=20
|
2024-01-16 17:25:44 +00:00 |
|
|
|
b25d512e93
|
Accepting request 1102724 from devel:languages:ocaml
Automatic submission by obs-autosubmit
OBS-URL: https://build.opensuse.org/request/show/1102724
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ocaml-zarith?expand=0&rev=3
|
2023-08-08 15:25:55 +00:00 |
|
|
|
9f1291c232
|
- Update to version 1.13
See included Changes for details
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=18
|
2023-07-31 13:44:03 +00:00 |
|
|
|
9bcf702ab9
|
remove braces from rpmspec macros
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=17
|
2023-07-31 13:42:51 +00:00 |
|
|
|
464b511185
|
Accepting request 887341 from devel:languages:ocaml
- Upgrade to version 1.12
* PR #79: fast path in OCaml (instead of assembly language)
* PR #94: remove source preprocessing and simplify configuration
* PR #93: fix parallel build
* PR #92: fix benchmark for subtraction
OBS-URL: https://build.opensuse.org/request/show/887341
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ocaml-zarith?expand=0&rev=2
|
2021-04-28 23:37:35 +00:00 |
|
|
|
12577f3113
|
dune 2.8+
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=14
|
2021-04-21 15:50:21 +00:00 |
|
|
|
6e803e0a62
|
- Upgrade to version 1.12
* PR #79: fast path in OCaml (instead of assembly language)
* PR #94: remove source preprocessing and simplify configuration
* PR #93: fix parallel build
* PR #92: fix benchmark for subtraction
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=13
|
2021-04-14 13:08:45 +00:00 |
|
|
|
3fe94b00da
|
Accepting request 864179 from devel:languages:ocaml
- Initial version 1.11, needed for Coq 8.13.0.
OBS-URL: https://build.opensuse.org/request/show/864179
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ocaml-zarith?expand=0&rev=1
|
2021-01-21 20:54:18 +00:00 |
|
|
|
e7e324775e
|
adjust BuildRequires
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=11
|
2021-01-18 08:09:47 +00:00 |
|
|
|
fd5f526070
|
- Initial version 1.11
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=10
|
2021-01-14 14:40:43 +00:00 |
|
|
|
d9635d87e5
|
4.05 again, missing word_size in config
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=9
|
2020-02-24 08:38:47 +00:00 |
|
|
|
0a08746cb0
|
4.04
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=8
|
2020-02-24 08:32:42 +00:00 |
|
|
|
22421df5e5
|
4.05
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=7
|
2019-11-04 14:48:09 +00:00 |
|
|
|
3a807c84f4
|
- Require current dune macros
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=6
|
2019-11-01 22:55:25 +00:00 |
|
|
|
22c6a7a429
|
package ld.so.conf with rpm-macros
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=5
|
2019-10-10 07:11:23 +00:00 |
|
|
|
14feb14f56
|
optflags
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=4
|
2019-09-26 06:50:18 +00:00 |
|
|
|
43e9d8a3f5
|
gmp
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=3
|
2019-09-26 06:48:35 +00:00 |
|
|
|
1c19d323d5
|
make check
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=2
|
2019-09-25 17:33:21 +00:00 |
|
|
|
dc6cd2f5b9
|
- Initial version 1.9.1
OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-zarith?expand=0&rev=1
|
2019-09-25 16:44:16 +00:00 |
|
