Paket: libelpi-ocaml-dev (1.18.2-1)

[ Quellcode: elpi  ]

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

• dep: libc6 (>= 2.35)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libcompiler-libs-ocaml-dev-ugmf3

  virtuelles Paket, bereitgestellt durch libcompiler-libs-ocaml-dev

• dep: libelpi-ocaml-az7i0

  virtuelles Paket, bereitgestellt durch libelpi-ocaml

• dep: libmenhir-ocaml-dev-zd7l0

  virtuelles Paket, bereitgestellt durch libmenhir-ocaml-dev

• dep: libocaml-compiler-libs-ocaml-dev-194j4

  virtuelles Paket, bereitgestellt durch libocaml-compiler-libs-ocaml-dev

• dep: libppx-deriving-ocaml-dev-bb3q1

  virtuelles Paket, bereitgestellt durch libppx-deriving-ocaml-dev

• dep: libppxlib-ocaml-dev-v0ci3

  virtuelles Paket, bereitgestellt durch libppxlib-ocaml-dev

• dep: libre-ocaml-dev-os636

  virtuelles Paket, bereitgestellt durch libre-ocaml-dev

• dep: libsexplib0-ocaml-dev-mvpd0

  virtuelles Paket, bereitgestellt durch libsexplib0-ocaml-dev

• dep: libstdlib-ocaml-dev-dkl58

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev

• dep: ocaml-4.14.1

  virtuelles Paket, bereitgestellt durch ocaml

• rec: ocaml-findlib

  Verwaltungswerkzeug für OCaml-Bibliotheken

libelpi-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
i386	9.111,4 kB	44.877,0 kB	[Liste der Dateien]