Package: libcoq-menhirlib
Architecture: amd64
Version: 20240715+ds-1build4
Priority: optional
Section: universe/ocaml
Source: coq-menhirlib
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3466
Provides: libcoq-menhirlib-0x2p6
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20240715+ds-1build4_amd64.deb
Size: 1533524
MD5sum: e2f1ffae644644b9c18a072f31ede458
SHA1: 5a7f7a489de7d6eb1950470d7fbcf95294b517c1
SHA256: f5d831f62c18165de9dd3415e3a09248e0f9ea3ef8b9e9dbbdac328d9b973ebd
SHA512: a98219d4394ea4833f38409b6b7df61e2e864ed6aab832cdbfecf85389f512fd47695cc92661863336a4d4037c6651a0639e4a8c6891b7aae535e0e1c13561f5
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672