Alle Optionen
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ 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+b1 14.923,6 kB38.362,0 kB [Liste der Dateien]
arm64 2.0.7-1+b1 15.490,4 kB41.413,0 kB [Liste der Dateien]
ppc64el 2.0.7-1+b1 15.082,0 kB41.182,0 kB [Liste der Dateien]
riscv64 2.0.7-1+b1 15.810,2 kB53.838,0 kB [Liste der Dateien]
s390x 2.0.7-1+b1 14.916,2 kB40.751,0 kB [Liste der Dateien]