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

Paket: libelpi-ocaml-dev (2.0.7-2 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-2+b1 14.896,2 kB38.273,0 kB [Liste der Dateien]
arm64 2.0.7-2+b1 15.449,4 kB41.279,0 kB [Liste der Dateien]
ppc64el 2.0.7-2+b1 15.035,1 kB41.061,0 kB [Liste der Dateien]
riscv64 2.0.7-2+b1 15.768,0 kB53.773,0 kB [Liste der Dateien]
s390x 2.0.7-2+b1 14.874,0 kB40.609,0 kB [Liste der Dateien]