Paquet : elpi (2.0.7-2 et autres)

Liens pour elpi

Ressources 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

dépendances

recommandations

suggestions

enhances

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.35) [m68k]

dep: libc6 (>= 2.37) [sh4]

dep: libc6 (>= 2.38) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, 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.4-3+b1) [m68k, sh4]

dep: libelpi-ocaml (= 1.18.2-4) [loong64, ppc64]

dep: libelpi-ocaml (= 2.0.7-2+b1) [amd64, arm64, ppc64el, riscv64, s390x]

Télécharger elpi

Télécharger pour toutes les architectures proposées
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	2.0.7-2+b1	1 829,0 ko	9 268,0 ko	[liste des fichiers]
arm64	2.0.7-2+b1	2 107,0 ko	10 975,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.16.5-1	383,3 ko	3 397,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.16.5-1	425,2 ko	4 003,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.18.2-4	1 553,4 ko	8 116,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.18.2-4	1 452,8 ko	8 830,0 ko	[liste des fichiers]
ppc64el	2.0.7-2+b1	1 843,7 ko	10 079,0 ko	[liste des fichiers]
riscv64	2.0.7-2+b1	1 913,4 ko	9 927,0 ko	[liste des fichiers]
s390x	2.0.7-2+b1	1 852,1 ko	10 727,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]