Пакунок: elpi (3.3.1-1)
Links for elpi
Debian Resources:
Download Source Package elpi:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Експериментальний пакунок
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.
Інші пакунки пов'язані з elpi
|
|
|
|
-
- dep: libc6 (>= 2.38)
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
-
- dep: libelpi-ocaml (= 3.3.1-1)
- embeddable lambda-Prolog interpreter (runtime files)
Завантажити elpi
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
amd64 | 1,936.0 kB | 9,770.0 kB | [список файлів] |
arm64 | 2,222.8 kB | 11,666.0 kB | [список файлів] |
ppc64el | 1,952.2 kB | 10,642.0 kB | [список файлів] |
s390x | 1,962.6 kB | 11,294.0 kB | [список файлів] |