Package: libcoq-elpi
Architecture: amd64
Version: 2.1.0-1build9
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: 16722
Provides: libcoq-elpi-dsxd7
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-dksn3, libcoq-core-ocaml-zhvt1, libelpi-ocaml-a17s6, libstdlib-ocaml-u9ol3, libzarith-ocaml-mtsj7
Filename: pool/universe/c/coq-elpi/libcoq-elpi_2.1.0-1build9_amd64.deb
Size: 3046602
MD5sum: a673da04530377b7cecc1ca7b3b99996
SHA1: fbecfcf3621284f1416d9af5eda5cf33d67e394a
SHA256: ccab4bb92b134b263ba93acd8d9c58076af0b9583f97b9f59ec8dd8a7dbea189
SHA512: a38df59562bb027654df3b35b7666dd7cfdbc1a8f6ee020d09c47ed0c2e6929cfe5aa1733dfdc560fb84b31d0a49d5cfdba56c9b803cdae0b963002a98787322
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi
Description-md5: ff0392105ab4f5504e712b1b6f15deec