(lang dune 1.9)
(using coq 0.1)
;(name unicoq)

(package (name unicoq))
