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

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

Ссылки для 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 2.0.7-2+b1 14 896,2 Кб38 273,0 Кб [список файлов]
arm64 2.0.7-2+b1 15 449,4 Кб41 279,0 Кб [список файлов]
hppa (неофициальный перенос) 1.16.5-1 7 058,8 Кб39 078,0 Кб [список файлов]
ia64 (неофициальный перенос) 1.16.5-1 7 101,1 Кб39 357,0 Кб [список файлов]
loong64 (неофициальный перенос) 1.18.2-4 10 232,8 Кб59 643,0 Кб [список файлов]
m68k (неофициальный перенос) 1.17.4-3+b1 5 933,3 Кб32 210,0 Кб [список файлов]
ppc64 (неофициальный перенос) 1.18.2-4 9 618,6 Кб53 922,0 Кб [список файлов]
ppc64el 2.0.7-2+b1 15 035,1 Кб41 061,0 Кб [список файлов]
riscv64 2.0.7-2 15 800,7 Кб53 772,0 Кб [список файлов]
s390x 2.0.7-2+b1 14 874,0 Кб40 609,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 Кб [список файлов]