dune-project

(lang dune 3.13)
(name cerberus)

(using menhir 3.0)
(using coq 0.8)