Source: elpi Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Section: ocaml Priority: optional Standards-Version: 4.6.1 Rules-Requires-Root: no Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, gnuplot, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-dune, time Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Homepage: https://github.com/LPCIC/elpi Package: libelpi-ocaml Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib 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. Package: libelpi-ocaml-dev Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib 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. Package: elpi Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: libelpi-ocaml (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} Description: embeddable lambda-Prolog interpreter (tool) 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 command-line tool.