Package: elpi
Architecture: amd64
Version: 2.0.7-1
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: 9256
Depends: libelpi-ocaml (= 2.0.7-1), libc6 (>= 2.38)
Filename: pool/universe/e/elpi/elpi_2.0.7-1_amd64.deb
Size: 2091200
MD5sum: 09c64c4e4dc6396a3345e5dabe512065
SHA1: 0b5c34bcf5c1b5f7ecbdb05037468e46673dfb03
SHA256: ca4e1fa34b6afdb3c535cbc2f9b87edff26c3e0d9ff81c1a86c5aaec4f485985
SHA512: 24c7e4c67ccf6332bb86ec2e712ef075daa476a552d67a79b2babb660e5b868f3d9716aa0599f9302c24e610fdde1cec4cdaec39a60c2a1de0eb08d4f7ed935f
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060