Skip to content
Snippets Groups Projects
dune-project 75 B
Newer Older
(lang dune 3.2)
(name jscoq)
(using coq 0.2)
(using directory-targets 0.1)