Revisions of ocaml-zarith
Lubos Kocman (lkocman-factory)
accepted
request 1139327
from
Olaf Hering (olh)
(revision 4)
jsc#PED-6305 - update OCaml stack to 4.14 - Update to version 1.13
Yuchen Lin (maxlin_factory)
committed
(revision 3)
branch from Backports SP5
Yuchen Lin (maxlin_factory)
committed
(revision 2)
branch from SP4 Backports
Yuchen Lin (maxlin_factory)
accepted
request 957467
from
Aaron Puchert (aaronpuchert)
(revision 1)
Needed for Coq. Newer version would need a newer ocaml-dune.
Displaying all 4 revisions