%DEPENDS%
coq
ocaml
camlp4
gtk2
gtksourceview2

