[ aramo ]
[ Paquet source : elpi ]
Paquet : libelpi-ocaml (1.14.1-1)
Liens pour libelpi-ocaml
Ressources Trisquel :
Télécharger le paquet source elpi :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Julien Puydt
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
embeddable lambda-Prolog interpreter (runtime 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 runtime files.
Autres paquets associés à libelpi-ocaml
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libppx-deriving-ocaml-15vi7 [ppc64el]
- paquet virtuel fourni par libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-lpkz4 [arm64]
- paquet virtuel fourni par libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-rdnx1 [amd64]
- paquet virtuel fourni par libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-zswb7 [armhf]
- paquet virtuel fourni par libppx-deriving-ocaml
-
- dep: libsexplib0-ocaml-l23l7 [non armhf]
- paquet virtuel fourni par libsexplib0-ocaml
-
- dep: libsexplib0-ocaml-sgdh1 [armhf]
- paquet virtuel fourni par libsexplib0-ocaml
-
- dep: ocaml-base-4.13.1
- paquet virtuel fourni par ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Télécharger libelpi-ocaml
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 2 360,1 ko | 7399 ko | [liste des fichiers] |
| arm64 | 2 492,7 ko | 7866 ko | [liste des fichiers] |
| armhf | 2 364,2 ko | 6704 ko | [liste des fichiers] |
| ppc64el | 2 411,5 ko | 7633 ko | [liste des fichiers] |