depends camlp5 &&
depends findlib &&
depends ocaml  &&
depends ocaml-num &&
depends zarith &&

optional_depends lablgtk2 \
                 "-coqide opt" \
                 "-coqide no" \
                 "to build the IDE" 
