[ Source: elpi ]
Package: elpi (3.3.1-1)
Links for elpi
Debian Resources:
Download Source Package elpi:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
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
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libelpi-ocaml (= 3.3.1-1)
- embeddable lambda-Prolog interpreter (runtime files)
Download elpi
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,936.0 kB | 9,770.0 kB | [list of files] |
| arm64 | 2,222.8 kB | 11,666.0 kB | [list of files] |
| ppc64el | 1,952.2 kB | 10,642.0 kB | [list of files] |
| s390x | 1,962.6 kB | 11,294.0 kB | [list of files] |