все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: elpi  ]

Пакет: libelpi-ocaml-dev (1.17.4-3 и другие)

Ссылки для libelpi-ocaml-dev

Screenshot

Ресурсы Debian:

Исходный код elpi:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

embeddable lambda-Prolog interpreter (dev 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 dev files.

Другие пакеты, относящиеся к libelpi-ocaml-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libelpi-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 1.16.5-1 7 075,4 Кб39 183,0 Кб [список файлов]
amd64 1.17.4-3+b1 9 135,1 Кб48 050,0 Кб [список файлов]
arm64 1.17.4-3+b1 9 679,6 Кб50 266,0 Кб [список файлов]
armhf 1.17.4-3+b1 9 044,9 Кб41 667,0 Кб [список файлов]
hppa (неофициальный перенос) 1.16.5-1 7 058,8 Кб39 078,0 Кб [список файлов]
i386 1.17.4-3+b1 8 864,3 Кб43 775,0 Кб [список файлов]
ia64 (неофициальный перенос) 1.16.5-1 7 101,1 Кб39 357,0 Кб [список файлов]
m68k (неофициальный перенос) 1.17.4-3+b1 5 933,3 Кб32 210,0 Кб [список файлов]
ppc64 (неофициальный перенос) 1.17.0-1+b3 9 181,1 Кб51 435,0 Кб [список файлов]
ppc64el 1.17.4-3+b1 9 341,0 Кб50 335,0 Кб [список файлов]
riscv64 1.17.4-3+b1 9 672,1 Кб57 940,0 Кб [список файлов]
s390x 1.17.4-3+b1 9 129,1 Кб49 118,0 Кб [список файлов]
sh4 (неофициальный перенос) 1.17.4-3+b1 5 960,7 Кб32 235,0 Кб [список файлов]
sparc64 (неофициальный перенос) 1.16.5-1 7 054,9 Кб39 826,0 Кб [список файлов]
x32 (неофициальный перенос) 1.16.5-1 7 065,5 Кб39 058,0 Кб [список файлов]