Revisions of ocaml-zarith
Ana Guerrero (anag+factory)
accepted
request 1139281
from
Olaf Hering (olh)
(revision 4)
- Remove usage of dune.configurator because ocamlfind names which contain a dot are not considered valid anymore with dune 3.13
Dominique Leuenberger (dimstar_suse)
accepted
request 1102724
from
Factory Maintainer (factory-maintainer)
(revision 3)
Automatic submission by obs-autosubmit
Dominique Leuenberger (dimstar_suse)
accepted
request 887341
from
Olaf Hering (olh)
(revision 2)
- 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
Dominique Leuenberger (dimstar_suse)
accepted
request 864179
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial version 1.11, needed for Coq 8.13.0.
Displaying all 4 revisions