%DEPENDS%
glibc
gmp
ocaml
ocaml-findlib

%CONFLICTS%
coq

%PROVIDES%
coq

