%DEPENDS%
coq
ocaml
gtk3
gtksourceview3

