(lang dune 2.0)
(name menhir)
(using menhir 2.0)
(version 20200123)

(package
  (name menhirLib)
)

(package
  (name menhirSdk)
)

(package
  (name menhir)
)

(package
  (name coq-menhirlib)
)
