depends ocamlgraph     &&
depends atk            &&
depends cairo          &&
depends coq            &&
depends fontconfig     &&
depends freetype2      &&
depends glib2          &&
depends graphviz       &&
depends gtk+2          &&
depends gtksourceview  &&
depends lablgtk2       &&
depends libart_lgpl    &&
depends libgnomecanvas &&
depends ltl2ba         &&
depends ocaml          &&
depends pango          &&
depends zarith
