Package: libcoq-elpi
Architecture: amd64
Version: 2.4.0-1build1
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: 61635
Provides: libcoq-elpi-wljb8
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-9imx0, libcoq-core-ocaml-at3u5, libelpi-ocaml-px3r7, libppx-deriving-ocaml-s4zi9, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9
Filename: pool/universe/c/coq-elpi/libcoq-elpi_2.4.0-1build1_amd64.deb
Size: 13536766
MD5sum: d4a256aa2703a5aa8058296873619dd0
SHA1: db5f81027598a72cd88e2726f215b42d583cef1e
SHA256: c0fd2af270b0fd6db3c9589d468430fdea385c88bed9e55c53c37f47d509ed2a
SHA512: 457d2d66f00d14bd1b23435490461f84a0dcd487c45f2c3070c59a3835337414753706183226c9f0c8c9f1ca6f94b31190f8c39fb6cbc470cc2f98a8584f1a81
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi
Description-md5: ff0392105ab4f5504e712b1b6f15deec