Package: libcoq-menhirlib
Architecture: amd64
Version: 20240715+ds-1build5
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-ryj28
Depends: libcoq-stdlib-kgau6
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20240715+ds-1build5_amd64.deb
Size: 1533736
MD5sum: a3656b2a68bd53a0c85aee9c3b68c3b8
SHA1: 7f73db1f6b7ab4605459dbbf8ef27c37a62c8f1a
SHA256: 64956308bcf228e60ae391151c65dee72a9e294c4a82cb04e9c674d189960adf
SHA512: e8b55a814f9d75f5c8cd949a30ba88e56956efff68469b9388fbae8801a67427f7869103ab42c6841ee6dde0904cffca9e26add979dbd4bd7d11dceb9b90eea9
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672