Overview Repositories Revisions Requests Users Attributes Meta

Revisions of ocaml-zarith

Lubos Kocman's avatar Lubos Kocman (lkocman-factory) accepted request 1139327 from Olaf Hering's avatar Olaf Hering (olh) (revision 4) 
jsc#PED-6305 - update OCaml stack to 4.14

- Update to version 1.13
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) committed (revision 3) 
branch from Backports SP5
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) committed (revision 2) 
branch from SP4 Backports
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) accepted request 957467 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
Needed for Coq. Newer version would need a newer ocaml-dune.
Displaying all 4 revisions
openSUSE Build Service is sponsored by
Places