|
|
bf2812ca1f
|
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 |
|
|
|
e71e8e3d59
|
- 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 |
|
|
|
6dfca99e01
|
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 |
|
|
|
6580718612
|
- 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 |
|
|
|
0e649f1124
|
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 |
|
|
|
7e330dc0d9
|
- 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 |
|
|
|
2827198f00
|
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 |
|
|
|
9df62d5c69
|
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 |
|
|
|
cf0d112ef8
|
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 |
|
|
|
8b6051e181
|
- 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 |
|
|
|
240ef1377e
|
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 |
|
|
|
3dbb09f6d0
|
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 |
|
|
|
a2c4e46670
|
- 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 |
|
|
|
dc8c74c71d
|
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 |
|
|
|
45a91046cd
|
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 |
|
|
|
fc61963291
|
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 |
|
|
|
bae02fcf41
|
- 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 |
|
|
|
9b887150ef
|
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 |
|
|
|
980de1708d
|
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 |
|
|
|
a49ee070c7
|
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 |
|
|
|
43718a7f6d
|
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 |
|
|
|
e026100a31
|
- 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 |
|
