%DEPENDS%
ocaml>=4.14.0
ocaml-findlib

%CONFLICTS%
coq-nox

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin
python-argparse: needed by some coq tools (e.g. TimeFileMaker)

