(lang dune 1.11)
(name coqide)
(version 8.11.0)
