[ Source: elpi ]
Package: libelpi-ocaml-dev (3.3.1-1)
Links for libelpi-ocaml-dev
Debian Resources:
Download Source Package elpi:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
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.38)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]
- Package not available
-
- dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]
- Package not available
-
- dep: libcompiler-libs-ocaml-dev-i4v37 [ppc64el]
- Package not available
-
- dep: libcompiler-libs-ocaml-dev-volk9 [s390x]
- Package not available
-
- dep: libelpi-ocaml-nd9v3 [ppc64el]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-o0vi4 [amd64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-s6ra0 [arm64]
- virtual package provided by libelpi-ocaml
-
- dep: libelpi-ocaml-zrnk8 [s390x]
- virtual package provided by libelpi-ocaml
-
- dep: libmenhir-ocaml-dev-4ogd3 [not s390x]
- Package not available
-
- dep: libmenhir-ocaml-dev-rsg80 [s390x]
- Package not available
-
- dep: libocaml-compiler-libs-ocaml-dev-cv331 [amd64]
- Package not available
-
- dep: libocaml-compiler-libs-ocaml-dev-s12o7 [not amd64]
- Package not available
-
- dep: libppx-deriving-ocaml-dev-7j4i9 [arm64]
- Package not available
-
- dep: libppx-deriving-ocaml-dev-li3j7 [s390x]
- Package not available
-
- dep: libppx-deriving-ocaml-dev-r2xh4 [ppc64el]
- Package not available
-
- dep: libppx-deriving-ocaml-dev-t2bg6 [amd64]
- Package not available
-
- dep: libppxlib-ocaml-dev-2ys04 [arm64]
- Package not available
-
- dep: libppxlib-ocaml-dev-5tb32 [s390x]
- Package not available
-
- dep: libppxlib-ocaml-dev-5yst8 [amd64]
- Package not available
-
- dep: libppxlib-ocaml-dev-ey2r7 [ppc64el]
- Package not available
-
- dep: libre-ocaml-dev-drj73 [s390x]
- Package not available
-
- dep: libre-ocaml-dev-jct74 [not s390x]
- Package not available
-
- dep: libsexplib0-ocaml-dev-26k99 [s390x]
- Package not available
-
- dep: libsexplib0-ocaml-dev-yj523 [not s390x]
- Package not available
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- Package not available
-
- dep: libstdlib-ocaml-dev-m4xw9 [not s390x]
- Package not available
-
- dep: libzstd1 (>= 1.5.5)
- veloce algoritmo di compressione senza perdita
-
- dep: ocaml-5.3.0
- Package not available
-
- rec: ocaml-findlib
- strumento di gestione per librerie Ocaml
Download libelpi-ocaml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 16,202.6 kB | 40,712.0 kB | [list of files] |
| arm64 | 16,765.1 kB | 43,772.0 kB | [list of files] |
| ppc64el | 16,361.5 kB | 43,692.0 kB | [list of files] |
| s390x | 16,173.5 kB | 43,012.0 kB | [list of files] |