depends ocaml
depends camlp5

optional_depends lablgtk "-coqide opt" "-coqide no" "to build a GTK IDE"
