Skip to content
Sections
>> Trisquel >> Пакети >> aramo >> ocaml >> libelpi-ocaml-dev
aramo  ]
[ Източник: elpi  ]

Пакет: libelpi-ocaml-dev (1.14.1-1)

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

  • зависимости
  • препоръчани
  • предложени

Изтегляне на libelpi-ocaml-dev

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 8 164,8 кБ31932 кБ [списък на файловете]
arm64 8 989,0 кБ34608 кБ [списък на файловете]
armhf 8 174,9 кБ27005 кБ [списък на файловете]
ppc64el 8 536,1 кБ33971 кБ [списък на файловете]