[ Източник: elpi ]
Пакет: libelpi-ocaml (1.18.2-5 и други)
Връзки за libelpi-ocaml
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник elpi.
Отговорници:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
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.
Други пакети, свързани с libelpi-ocaml
|
|
|
|
-
- dep: libppx-deriving-ocaml-iesj4 [amd64]
- виртуален пакет, предлаган от libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-rdil5 [arm64]
- виртуален пакет, предлаган от libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-s1qb0 [ppc64el]
- виртуален пакет, предлаган от libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-wi3q9 [s390x]
- виртуален пакет, предлаган от libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-zhq98 [riscv64]
- виртуален пакет, предлаган от libppx-deriving-ocaml
-
- dep: libsexplib0-ocaml-117f4 [не s390x]
- виртуален пакет, предлаган от libsexplib0-ocaml
-
- dep: libsexplib0-ocaml-rh0j0 [s390x]
- виртуален пакет, предлаган от libsexplib0-ocaml
-
- dep: libstdlib-ocaml-0d647 [arm64]
- виртуален пакет, предлаган от libstdlib-ocaml
-
- dep: libstdlib-ocaml-2a614 [ppc64el]
- виртуален пакет, предлаган от libstdlib-ocaml
-
- dep: libstdlib-ocaml-7l663 [amd64]
- виртуален пакет, предлаган от libstdlib-ocaml
-
- dep: libstdlib-ocaml-r1af2 [s390x]
- виртуален пакет, предлаган от libstdlib-ocaml
-
- dep: libstdlib-ocaml-vvst5 [riscv64]
- виртуален пакет, предлаган от libstdlib-ocaml
-
- dep: ocaml-base-5.2.0
- виртуален пакет, предлаган от ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Изтегляне на libelpi-ocaml
Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|---|
amd64 | 1.18.2-5+b4 | 3 062,2 кБ | 7 663,0 кБ | [списък на файловете] |
arm64 | 1.18.2-5+b4 | 3 109,7 кБ | 8 351,0 кБ | [списък на файловете] |
ppc64el | 1.18.2-5+b4 | 3 058,3 кБ | 8 031,0 кБ | [списък на файловете] |
riscv64 | 1.18.2-5+b4 | 3 088,2 кБ | 7 851,0 кБ | [списък на файловете] |
s390x | 1.18.2-5+b4 | 3 081,4 кБ | 8 217,0 кБ | [списък на файловете] |