Package: libelpi-ocaml
Source: elpi
Version: 2.0.7-3build3
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 15615
Depends: libppx-deriving-ocaml-k0aa9, libsexplib0-ocaml-brq84, libstdlib-ocaml-kjuo1, ocaml-base-5.4.0
Recommends: ocaml-findlib
Provides: libelpi-ocaml-rmbs0
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.
