%DEPENDS%
ocaml>=4.14.0
coq
gtk3
gtksourceview3

