Package: libcoq-elpi
Architecture: amd64
Version: 1.19.3-2build4
Priority: optional
Section: universe/ocaml
Source: coq-elpi
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: 19270
Provides: libcoq-elpi-wqat9
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-eg0o0, libcoq-core-ocaml-fg9y1, libelpi-ocaml-a4fh3, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4
Filename: pool/universe/c/coq-elpi/libcoq-elpi_1.19.3-2build4_amd64.deb
Size: 3178910
MD5sum: 2fab8d2cebdcdf8f6fc13c8cc5624183
SHA1: e04c64c22de2790f9189c87f7cb821eed2e2e907
SHA256: 61e12b864b61ec12cdeae361ebd6ac11df586f319e8c5afaa2fd9815b833a868
SHA512: 359989a691b8995c8ff89cac265465a17eb194251281f0e0dc22ccea8d4e79ee1371ecda0b92e93a9af8cd72900e5364dc7a56d357b217c2a06673c6d8ac2f5f
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi
Description-md5: ff0392105ab4f5504e712b1b6f15deec