deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libcompiler-libs-ocaml-dev-lw6m5, libelpi-ocaml-vbl67, libmenhir-ocaml-dev-7ewm9,
libocaml-compiler-libs-ocaml-dev-oqn24, libppx-deriving-ocaml-dev-2vqk2, libppxlib-ocaml-dev-by4m6,
libre-ocaml-dev-rrku1, libsexplib0-ocaml-dev-117f4, libstdlib-ocaml-dev-0d647,
ocaml-5.2.0, libc6 (>= 2.38), libzstd1 (>= 1.5.5)
Description: |-
embeddable lambda-Prolog interpreter (dev files)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
.
This package provides the dev files.
Homepage: https://github.com/LPCIC/elpi
Installed-Size: '37804'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libelpi-ocaml-dev
Priority: optional
Provides: libelpi-ocaml-dev-vbl67
Recommends: ocaml-findlib
Section: ocaml
Source: elpi (1.18.2-5)
Version: 1.18.2-5+b5
srcpkg_name: elpi
srcpkg_version: 1.18.2-5