Package: libcoq-menhirlib
Source: coq-menhirlib
Priority: optional
Section: universe/ocaml
Installed-Size: 3466
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 20240715+ds-1build8
Provides: libcoq-menhirlib-zl8d6
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20240715+ds-1build8_amd64.deb
Size: 1533772
MD5sum: 5e4ac6eee9d0e42d60052233a7254d5e
SHA1: 09635fbefe3cdfadb20a9e60cfe0e0489fb7f68c
SHA256: 1596cd0c61c103ceb731cd035d3d56ef0b6ea7a18eabe624b43b0cbab80459a4
SHA512: 3b8d76edad5fb9e6aaba694ecd9c009a43f4f764d7db8c948ac1227e2cd3d929ea6d34180139d7dd2f09a886b92b332d70eb5031160d5bef2ebc51622aa65554
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug