Overview Repositories Revisions Requests Users Attributes Meta

Revisions of ocaml-zarith

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 2 revisions
openSUSE Build Service is sponsored by
Places