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

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

Links für libelpi-ocaml-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket elpi herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libelpi-ocaml-dev

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

libelpi-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 2.0.7-1+b2 14.925,9 kB38.369,0 kB [Liste der Dateien]
arm64 2.0.7-1+b2 15.497,6 kB41.421,0 kB [Liste der Dateien]
ppc64el 2.0.7-1+b2 15.073,9 kB41.188,0 kB [Liste der Dateien]
riscv64 2.0.7-1+b2 15.810,6 kB53.846,0 kB [Liste der Dateien]
s390x 2.0.7-1+b2 14.920,5 kB40.759,0 kB [Liste der Dateien]