[ bianca ]

[ Source: elpi ]

Package: elpi (2.0.7-1 and others)

Links for elpi

eLxr Patch Tracker

Download Source Package elpi:

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

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.

Other Packages Related to elpi

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: libelpi-ocaml (= 2.0.7-1+b1)

embeddable lambda-Prolog interpreter (runtime files)

Download elpi

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	2.0.7-1+b1	1,808.8 kB	9,128.0 kB	[list of files]
arm64	2.0.7-1+b1	2,062.8 kB	10,820.0 kB	[list of files]