Revisions of ocaml-zarith
- Remove usage of dune.configurator because ocamlfind names which contain a dot are not considered valid anymore with dune 3.13
Automatic submission by obs-autosubmit
- 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
- Initial version 1.11, needed for Coq 8.13.0.
Displaying all 4 revisions