Paket: elpi (3.3.1-1)

Länkar för elpi

Debianresurser:

Hämta källkodspaketet elpi:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

Experimentellt paket

Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.

embeddable lambda-Prolog interpreter (tool)

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 command-line tool.

Andra paket besläktade med elpi

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libelpi-ocaml (= 3.3.1-1)

embeddable lambda-Prolog interpreter (runtime files)

Hämta elpi

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	1.936,0 kbyte	9.770,0 kbyte	[filförteckning]
arm64	2.222,8 kbyte	11.666,0 kbyte	[filförteckning]
ppc64el	1.952,2 kbyte	10.642,0 kbyte	[filförteckning]
riscv64	2.027,9 kbyte	10.470,0 kbyte	[filförteckning]
s390x	1.962,6 kbyte	11.294,0 kbyte	[filförteckning]