Package: elpi Architecture: amd64 Version: 1.17.4-3build1 Priority: optional Section: universe/ocaml Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 7081 Depends: libelpi-ocaml (= 1.17.4-3build1), libc6 (>= 2.38) Filename: pool/universe/e/elpi/elpi_1.17.4-3build1_amd64.deb Size: 1643600 MD5sum: dab24fafa6ca4c9ff8a9c7c18373d0d2 SHA1: 53aca9fd7b66ee264b2f2579359611bdea5db469 SHA256: d1da29d309a958f0816ee502992c1ab4f581b18dfd055da018038dae4ec00c73 SHA512: 2996fbda62361bc4d699e40eefbceba39f0db1dc5ef3b51dd9af4da65d32da41f46729349240f0c1af3d26f8aae6572d271563e92d023a4c1a4e927b1d76c76b Homepage: https://github.com/LPCIC/elpi Description: embeddable lambda-Prolog interpreter (tool) Description-md5: f7bf6d601995cf75b1c02c4c67a89060