Package: libelpi-ocaml-dev
Architecture: amd64
Version: 1.17.4-3build1
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: 48049
Provides: libelpi-ocaml-dev-a4fh3
Depends: libcompiler-libs-ocaml-dev-rcwc4, libelpi-ocaml-a4fh3, libmenhir-ocaml-dev-jko84, libocaml-compiler-libs-ocaml-dev-194j4, libppx-deriving-ocaml-dev-qsyd4, libppxlib-ocaml-dev-l34s2, libre-ocaml-dev-5yx09, libsexplib0-ocaml-dev-3nli0, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1, libc6 (>= 2.38)
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml-dev_1.17.4-3build1_amd64.deb
Size: 11360002
MD5sum: 4a71443d9c176af1aed1fdab81f6d1d1
SHA1: 3ca660e40464160a279cfd1dd12a8f57a7909633
SHA256: ef3ccb3d3f02c85fd8eb0025386682bb176aad3d6fd797e01d930f1864218cb6
SHA512: 080fac312ccaa1c21f41b256ebcfa390e81fc69cd2bf38f217363c57fe98ababccf1b0d779f3020a59efdd7547ce6d89f89702eb5e7e1384433aa655313bc572
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc