Balík: elpi (3.3.1-1)
Odkazy pre elpi
Zdroje Debian:
Stiahnuť zdrojový balík elpi:
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
Experimentálny balík
Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.
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.
Ostatné balíky súvisiace s balíkom elpi
|
|
|
|
-
- dep: libc6 (>= 2.38)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libelpi-ocaml (= 3.3.1-1)
- embeddable lambda-Prolog interpreter (runtime files)
Stiahnuť elpi
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
amd64 | 1,936.0 kB | 9,770.0 kB | [zoznam súborov] |
arm64 | 2,222.8 kB | 11,666.0 kB | [zoznam súborov] |
ppc64el | 1,952.2 kB | 10,642.0 kB | [zoznam súborov] |
s390x | 1,962.6 kB | 11,294.0 kB | [zoznam súborov] |