Alle Optionen
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ Quellcode: elpi  ]

Paket: libelpi-ocaml (2.0.7-1 und andere)

Links für libelpi-ocaml

Screenshot

Debian-Ressourcen:

Quellcode-Paket elpi herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

embeddable lambda-Prolog interpreter (runtime 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 runtime files.

Andere Pakete mit Bezug zu libelpi-ocaml

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libelpi-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 2.0.7-1+b1 3.795,7 kB9.573,0 kB [Liste der Dateien]
arm64 2.0.7-1+b1 3.858,3 kB10.473,0 kB [Liste der Dateien]
ppc64el 2.0.7-1+b1 3.790,4 kB10.089,0 kB [Liste der Dateien]
riscv64 2.0.7-1+b1 3.831,8 kB9.805,0 kB [Liste der Dateien]
s390x 2.0.7-1+b1 3.827,6 kB10.268,0 kB [Liste der Dateien]