Paquet : polyml (5.7.1-5 et autres)

Liens pour polyml

Ressources Debian :

Télécharger le paquet source polyml :

Responsables :

Ressources externes :

Page d'accueil [www.polyml.org]

Paquets similaires :

interpréteur et compilateur interactif pour Standard ML

Poly/ML est une mise en œuvre du langage de programmation Standard ML. Standard ML est un langage de programmation fonctionnelle polyvalent, modulaire, à typage sûr et strict. Poly/ML est un interpréteur et compilateur conforme à SML 97 gérant la création d’exécutables autonomes avec un interpréteur de langage REPL (Read–Eval–Print Loop – boucle lecture, évaluation et interprétation).

Ce paquet fournit l’interpréteur et le compilateur.

Étiquettes: Développement de logiciel: Compilateur, Interpréteur, Programmation ML, Rôle: Programme

Autres paquets associés à polyml

dépendances

recommandations

suggestions

enhances

dep: file

reconnaissance des types de données d'un fichier à l'aide des nombres «⋅magiques⋅»
dep: g++

compilateur C++ GNU
dep: libc6 (>= 2.24) [sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.34) [non alpha, ia64, sh4]
dep: libc6.1 (>= 2.34) [alpha]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

dep: libc6.1 (>= 2.36) [ia64]
dep: libffi-dev

Foreign Function Interface library (development files)
dep: libpolyml7 (>= 5.6) [sh4]

runtime files for Poly/ML, a compiler for Standard ML
dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88) [non sh4]

runtime files for Poly/ML, a compiler for Standard ML
dep: polyml-modules (= 5.7.1-5) [ia64]

modules for Poly/ML, a compiler for Standard ML

dep: polyml-modules (= 5.7.1-5+b1) [alpha, hppa, m68k, ppc64, sparc64, x32]

dep: polyml-modules (= 5.7.1-5+b2) [non alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32]

Télécharger polyml

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	5.7.1-5+b1	912,0 ko	6 784,0 ko	[liste des fichiers]
amd64	5.7.1-5+b2	1 947,8 ko	18 002,0 ko	[liste des fichiers]
arm64	5.7.1-5+b2	1 723,0 ko	14 785,0 ko	[liste des fichiers]
armel	5.7.1-5+b2	1 043,5 ko	6 547,0 ko	[liste des fichiers]
armhf	5.7.1-5+b2	1 043,5 ko	6 543,0 ko	[liste des fichiers]
hppa (portage non officiel)	5.7.1-5+b1	846,6 ko	3 884,0 ko	[liste des fichiers]
i386	5.7.1-5+b2	1 201,5 ko	8 813,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.7.1-5	1 732,8 ko	14 663,0 ko	[liste des fichiers]
m68k (portage non officiel)	5.7.1-5+b1	1 539,6 ko	7 883,0 ko	[liste des fichiers]
mips64el	5.7.1-5+b2	1 104,1 ko	12 098,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	5.7.1-5+b1	1 633,2 ko	14 785,0 ko	[liste des fichiers]
ppc64el	5.7.1-5+b2	1 714,5 ko	14 785,0 ko	[liste des fichiers]
riscv64	5.7.1-5+b2	1 218,0 ko	14 666,0 ko	[liste des fichiers]
s390x	5.7.1-5+b2	1 637,7 ko	14 664,0 ko	[liste des fichiers]
sh4 (portage non officiel)	5.6-8	653,4 ko	7 149,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	5.7.1-5+b1	1 157,5 ko	16 641,0 ko	[liste des fichiers]
x32 (portage non officiel)	5.7.1-5+b1	1 665,8 ko	7 876,0 ko	[liste des fichiers]