%DEPENDS%
ocaml
camlp5

%CONFLICTS%
coq-nox

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin

