Package: elpi
Architecture: amd64
Version: 1.18.2-5build3
Priority: optional
Section: universe/ocaml
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: 8036
Depends: libelpi-ocaml (= 1.18.2-5build3), libc6 (>= 2.38)
Filename: pool/universe/e/elpi/elpi_1.18.2-5build3_amd64.deb
Size: 1826538
MD5sum: 0d540d0338c72256d0f53132566ceb2e
SHA1: fa764d657b6fb54d1e4cf613b6fdebd345fae92c
SHA256: 027cbd4f931fc4e43f76a5029d3dc59e8377797cda344c0ebfaa15e03d95838b
SHA512: f1ec00e23ddb6b7886ec5ff9c24f87cc5e1105cec20596b4a93cbf8e97e9d1cff3c261bf4a7fd16573acb5bd551b4a98c0617dfbb1c55e0d92a016cbc02a657a
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060