Package: elpi Architecture: amd64 Version: 1.18.2-5build3 Priority: optional Section: universe/ocaml Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers 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