Paket: elpi (3.3.1-1)

Links für elpi

Debian-Ressourcen:

Quellcode-Paket elpi herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

Experimentelles Paket

Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.

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.

Andere Pakete mit Bezug zu elpi

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.38)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libelpi-ocaml (= 3.3.1-1)

embeddable lambda-Prolog interpreter (runtime files)

elpi herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	1.936,0 kB	9.770,0 kB	[Liste der Dateien]
arm64	2.222,8 kB	11.666,0 kB	[Liste der Dateien]
ppc64el	1.952,2 kB	10.642,0 kB	[Liste der Dateien]
s390x	1.962,6 kB	11.294,0 kB	[Liste der Dateien]