[ Paquet source : elpi ]
Paquet : elpi (1.18.2-2 et autres)
Liens pour elpi
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source elpi :
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
interpréteur enchâssable lambda-Prolog – outil
ELPI implémente un interpréteur lambda-Prolog, enrichi avec des règles de gestion de contraintes, pour fournir un langage d’extension pour des applications plus grandes écrites en OCaml.
Ce paquet fournit un outil en ligne de commande.
Autres paquets associés à elpi
|
|
|
|
-
- dep: libc6 (>= 2.33) [hppa, sparc64, x32]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.34) [riscv64]
- dep: libc6 (>= 2.35) [i386, m68k, ppc64]
- dep: libc6 (>= 2.37) [sh4]
- dep: libc6 (>= 2.38) [amd64, arm64, armhf, ppc64el, s390x]
-
- dep: libc6.1 (>= 2.33) [alpha, ia64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
-
- dep: libelpi-ocaml (= 1.16.5-1) [alpha, hppa, ia64, sparc64, x32]
- embeddable lambda-Prolog interpreter (runtime files)
- dep: libelpi-ocaml (= 1.17.0-1+b3) [ppc64]
- dep: libelpi-ocaml (= 1.17.4-3+b1) [m68k, sh4]
- dep: libelpi-ocaml (= 1.18.2-2) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
Télécharger elpi
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 1.16.5-1 | 400,0 ko | 3 615,0 ko | [liste des fichiers] |
| amd64 | 1.18.2-2 | 1 441,4 ko | 7 202,0 ko | [liste des fichiers] |
| arm64 | 1.18.2-2 | 1 661,9 ko | 8 318,0 ko | [liste des fichiers] |
| armhf | 1.18.2-2 | 1 374,4 ko | 5 124,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 1.16.5-1 | 383,3 ko | 3 397,0 ko | [liste des fichiers] |
| i386 | 1.18.2-2 | 1 373,1 ko | 6 606,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 1.16.5-1 | 425,2 ko | 4 003,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 1.17.4-3+b1 | 347,8 ko | 2 941,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 1.17.0-1+b3 | 1 459,3 ko | 8 938,0 ko | [liste des fichiers] |
| ppc64el | 1.18.2-2 | 1 477,3 ko | 7 934,0 ko | [liste des fichiers] |
| riscv64 | 1.18.2-2 | 1 480,5 ko | 7 546,0 ko | [liste des fichiers] |
| s390x | 1.18.2-2 | 1 456,6 ko | 8 040,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 1.17.4-3+b1 | 371,5 ko | 3 015,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 1.16.5-1 | 373,3 ko | 4 838,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 1.16.5-1 | 389,6 ko | 3 349,0 ko | [liste des fichiers] |