Package: libcoq-menhirlib
Source: coq-menhirlib
Version: 20240715+ds-1build9
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3466
Depends: libcoq-stdlib-imt43
Provides: libcoq-menhirlib-xcsy3
Section: ocaml
Priority: optional
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
 This package provides a support library for verified
 Coq parsers produced by Menhir.
 .
 Menhir is a LR(1) parser generator for the OCaml programming
 language and Coq is a proof assistant for higher-order logic.
