Package: libelpi-ocaml-dev
Architecture: amd64
Version: 2.0.7-1
Priority: optional
Section: universe/ocaml
Source: elpi
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: 38442
Provides: libelpi-ocaml-dev-px3r7
Depends: libcompiler-libs-ocaml-dev-zmcm4, libelpi-ocaml-px3r7, libmenhir-ocaml-dev-ra7h0, libocaml-compiler-libs-ocaml-dev-8r2g5, libppx-deriving-ocaml-dev-s4zi9, libppxlib-ocaml-dev-9tvw9, libre-ocaml-dev-wc5y6, libsexplib0-ocaml-dev-lcp03, libstdlib-ocaml-dev-fxjy5, ocaml-5.3.0, libc6 (>= 2.38), libzstd1 (>= 1.5.5)
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml-dev_2.0.7-1_amd64.deb
Size: 15966984
MD5sum: a1d87044444d96e41953ede97581486b
SHA1: 5388325acd1a0febcffb33708c107be05199fc9a
SHA256: 4a734d9feef2a87edcfb1df2a85f027cf91bd5f45efce4034cf28756b86e75f6
SHA512: cef4f447d1b9897b3ada284e6b149c1173cbe37322d46dd853241efbe6506d3ea5137b8018cd3344b6c404a9490298b0e270bb659132232ad3447d951e8d4530
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc