%DEPENDS%
ocaml>=4.14.0
ocaml-findlib
coq
gtk3
gtksourceview3

