(lang dune 2.5)
(using coq 0.2)
(using menhir 2.0)
(name coq-quickchick)
