%DEPENDS%
ocaml>=4.13.1
gmp

%PROVIDES%
zarith

