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

Paket: libelpi-ocaml-dev (1.17.4-3 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 1.17.4-3+b1 9.135,1 kB48.050,0 kB [Liste der Dateien]
arm64 1.17.4-3+b1 9.679,6 kB50.266,0 kB [Liste der Dateien]
armhf 1.17.4-3+b1 9.044,9 kB41.667,0 kB [Liste der Dateien]
i386 1.17.4-3+b1 8.864,3 kB43.775,0 kB [Liste der Dateien]
ppc64el 1.17.4-3+b1 9.341,0 kB50.335,0 kB [Liste der Dateien]
s390x 1.17.4-3+b1 9.129,1 kB49.118,0 kB [Liste der Dateien]