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.
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.
Other Packages Related to libelpi-ocaml-dev
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
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)
- fast lossless compression algorithm
-
- dep: ocaml-5.3.0
- Package not available
-
- rec: ocaml-findlib
- management tool for OCaml libraries
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] |