Package: libcoq-menhirlib
Architecture: amd64
Version: 20231231+ds-1build3
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: 4896
Provides: libcoq-menhirlib-elzr2
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20231231+ds-1build3_amd64.deb
Size: 1508770
MD5sum: e0aa471c7f71778f8e91ee6d0cc03d9c
SHA1: dd4904591f240a4c0583d54d5f84dd3c5cfae9a6
SHA256: 73f9713b0ca879d0e86aeefe799ca24e7133584d68e5957af1d1390375d9e378
SHA512: 14dcc9c9b97e879a167c9d6d7d669bb36bfdd37fe07670aa4ba7a9023f4c47c13dca63c01b48e2d23b9577763e44126cb9e291eb5635d887a77683e03be59a2a
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672