Paquet : elpi (3.3.1-1)

Liens pour elpi

Ressources Debian :

Télécharger le paquet source elpi :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Paquet « expérimental »

Avertissement : ce paquet appartient à la distribution expérimentale. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog) et les autres documentations existantes avant de l'utiliser.

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.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libelpi-ocaml (= 3.3.1-1)

embeddable lambda-Prolog interpreter (runtime files)

Télécharger elpi

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 936,0 ko	9 770,0 ko	[liste des fichiers]
arm64	2 222,8 ko	11 666,0 ko	[liste des fichiers]
ppc64el	1 952,2 ko	10 642,0 ko	[liste des fichiers]
s390x	1 962,6 ko	11 294,0 ko	[liste des fichiers]