все параметры
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ Источник: 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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 2.0.7-2+b1 14 896,2 Кб38 273,0 Кб [список файлов]
arm64 2.0.7-2+b1 15 449,4 Кб41 279,0 Кб [список файлов]
ppc64el 2.0.7-2+b1 15 035,1 Кб41 061,0 Кб [список файлов]
riscv64 2.0.7-2+b1 15 768,0 Кб53 773,0 Кб [список файлов]
s390x 2.0.7-2+b1 14 874,0 Кб40 609,0 Кб [список файлов]