%DEPENDS%
coq
ocaml
camlp5
gtk2
gtksourceview2

