Package coq-menhirlib.20240715

[fpottier]

coq-menhirlib.20240715

A support library for verified Coq parsers produced by Menhir

---

• Homepage: https://gitlab.inria.fr/fpottier/coq-menhirlib
• Source repo: git+https://gitlab.inria.fr/fpottier/menhir.git
• Bug tracker: https://gitlab.inria.fr/fpottier/menhir/-/issues

---

:camel: Pull-request generated by opam-publish v2.3.0