[ Source: elpi ]
Package: libelpi-ocaml-dev (1.16.8-1 and others)
Links for libelpi-ocaml-dev
Debian Resources:
Download Source Package elpi:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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: libelpi-ocaml-65688 [ppc64el]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-k4ip2 [arm64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-uc3b1 [amd64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-vf0d5 [i386]
- virtual package provided by libelpi-ocaml
-
- dep: libmenhir-ocaml-dev-86p89 [i386]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-dyfe5 [not i386]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libocaml-compiler-libs-ocaml-dev-onqw0 [amd64, i386]
- virtual package provided by libocaml-compiler-libs-ocaml-dev
-
- dep: libocaml-compiler-libs-ocaml-dev-vvq34 [arm64, ppc64el]
- virtual package provided by libocaml-compiler-libs-ocaml-dev
-
- dep: libppx-deriving-ocaml-dev-05099 [i386]
- virtual package provided by libppx-deriving-ocaml-dev
-
- dep: libppx-deriving-ocaml-dev-3ba35 [amd64]
- virtual package provided by libppx-deriving-ocaml-dev
-
- dep: libppx-deriving-ocaml-dev-nfa18 [arm64]
- virtual package provided by libppx-deriving-ocaml-dev
-
- dep: libppx-deriving-ocaml-dev-o6oe1 [ppc64el]
- virtual package provided by libppx-deriving-ocaml-dev
-
- dep: libppxlib-ocaml-dev-3kac3 [amd64]
- virtual package provided by libppxlib-ocaml-dev
-
- dep: libppxlib-ocaml-dev-iii28 [ppc64el]
- virtual package provided by libppxlib-ocaml-dev
-
- dep: libppxlib-ocaml-dev-oqjh6 [i386]
- virtual package provided by libppxlib-ocaml-dev
-
- dep: libppxlib-ocaml-dev-qxl08 [arm64]
- virtual package provided by libppxlib-ocaml-dev
-
- dep: libre-ocaml-dev-f9be1 [i386]
- virtual package provided by libre-ocaml-dev
-
- dep: libre-ocaml-dev-x1xl9 [not i386]
- virtual package provided by libre-ocaml-dev
-
- dep: libsexplib0-ocaml-dev-9dnl9 [i386]
- virtual package provided by libsexplib0-ocaml-dev
-
- dep: libsexplib0-ocaml-dev-dj6s4 [not i386]
- virtual package provided by libsexplib0-ocaml-dev
-
- dep: ocaml-4.13.1
- virtual package provided by ocaml
-
- rec: ocaml-findlib
- strumento di gestione per librerie Ocaml
Download libelpi-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 1.16.8-1+b2 | 10,133.8 kB | 54,867.0 kB | [list of files] |
| arm64 | 1.16.8-1+b2 | 10,628.4 kB | 57,015.0 kB | [list of files] |
| i386 | 1.16.8-1+b2 | 9,870.6 kB | 50,644.0 kB | [list of files] |
| ppc64el | 1.16.8-1+b2 | 10,360.0 kB | 57,223.0 kB | [list of files] |