Package: elpi
Priority: optional
Section: universe/ocaml
Installed-Size: 9359
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.0.7-3build3
Depends: libelpi-ocaml (= 2.0.7-3build3), libc6 (>= 2.42)
Filename: pool/universe/e/elpi/elpi_2.0.7-3build3_amd64.deb
Size: 2113442
MD5sum: bab74d036ec7ae9ee0d5ee76c9a04a17
SHA1: 6dd486196481c3ffaf0e6764353bec67e895475c
SHA256: 73a9306a874509fb09c68d79b41bde9d62a2497a30a34ad96767bf2fb4fe14ac
SHA512: f642c8e6f98f25cc3bcd8dcacaa3931844f953008cfd24133e07db54efaa604ada56898a7dc4bd0b3d75166b44129f894d35877483f90f67ed1e96a99346c525
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug