Package: libelpi-ocaml-dev (1.17.4-3 and others) [debports]

[ Source:  ]

interprete lambda-Prolog incorporabile (file di sviluppo)

ELPI (Embeddable Lambda-Prolog Interpreter) implementa un interprete lambda-Prolog arricchito con regole per la gestione di vincoli, allo scopo di fornire un linguaggio di estensione alle applicazioni più grandi scritte in Ocaml.

Questo pacchetto fornisce i file di sviluppo.

Other Packages Related to libelpi-ocaml-dev

• dep: libc6 (>= 2.35)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libcompiler-libs-ocaml-dev-0a396

  virtual package provided by libcompiler-libs-ocaml-dev

• dep: libelpi-ocaml-742e1

  virtual package provided by libelpi-ocaml

• dep: libmenhir-ocaml-dev-u7sc7

  virtual package provided by libmenhir-ocaml-dev

• dep: libocaml-compiler-libs-ocaml-dev-fjzk3

  virtual package provided by libocaml-compiler-libs-ocaml-dev

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

  virtual package provided by libppx-deriving-ocaml-dev

• dep: libppxlib-ocaml-dev-e91t5

  virtual package provided by libppxlib-ocaml-dev

• dep: libre-ocaml-dev-3sq44

  virtual package provided by libre-ocaml-dev

• dep: libsexplib0-ocaml-dev-ha114

  virtual package provided by libsexplib0-ocaml-dev

• dep: libstdlib-ocaml-dev-rg5q2

  virtual package provided by libstdlib-ocaml-dev

• dep: ocaml-4.14.1

  virtual package provided by ocaml

• rec: ocaml-findlib

  strumento di gestione per librerie Ocaml

Download libelpi-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
m68k (unofficial port)	1.17.4-3+b1	5,933.3 kB	32,210.0 kB	[list of files]