Package: libelpi-ocaml
Source: elpi
Version: 2.0.7-1build2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 10462
Depends: libppx-deriving-ocaml-5hot1, libsexplib0-ocaml-yj523, libstdlib-ocaml-m4xw9, ocaml-base-5.3.0
Recommends: ocaml-findlib
Provides: libelpi-ocaml-jmuz5
Section: ocaml
Priority: optional
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (runtime 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 runtime files.
