Package: elpi
Priority: optional
Section: universe/ocaml
Installed-Size: 8813
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.7.2-2build2
Depends: libelpi-ocaml (= 3.7.2-2build2), libc6 (>= 2.44)
Filename: pool/universe/e/elpi/elpi_3.7.2-2build2_amd64.deb
Size: 2058194
SHA512: 51abe8fc8ebb0419a2dce3d76dc1bb5e155d1781076192bf7cdfaa695f3a8fa0cd1a519571466a83df394572131317bb97db8f29872c053a787758fd460fe3e3
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