Package: libcoq-menhirlib
Architecture: amd64
Version: 20231231+ds-4build3
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: 5009
Provides: libcoq-menhirlib-gl4j1
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20231231+ds-4build3_amd64.deb
Size: 1580260
MD5sum: a91e0b77f36da53ae9481fc6f6766cff
SHA1: 37e01309715a0a0474a02fa5eab1ff8c08d53a3b
SHA256: 8b32e24390652410bff166a68de47f9eaa3e33142fdf36358273fd1fcc7cdc2f
SHA512: a6647c91884798ba9de1ed1bc1cfec06fb76842ac0e5574467c9d12e0d2499d38bd7e358e0bc75c36994c11c12ab99271a74255037abf731185ab7ef9e80cf76
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672