Package: libelpi-ocaml (1.16.5-1) [debports]

Links for libelpi-ocaml

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

libelpi-ocaml-dev
libcoq-elpi
libchibi-scheme-dev
libchibi-scheme0
yap
elk
chibi-scheme-doc
chibi-scheme-common
swi-prolog-bdb
swi-prolog-odbc
libelk0t64

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.

Other Packages Related to libelpi-ocaml

depends

recommends

suggests

enhances

dep: libppx-deriving-ocaml-4hrg9

Package not available
dep: libsexplib0-ocaml-vx1x7

Package not available
dep: ocaml-base-4.13.1

virtual package provided by ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Download libelpi-ocaml

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	4,016.1 kB	16,412.0 kB	[list of files]