Paquet : libpolyml11 (5.8.1-1~exp1) [debports]

Liens pour libpolyml11

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [www.polyml.org]

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.

runtime files for Poly/ML, a compiler for Standard ML

Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL).

This package provides the files needed to run stand-alone executables built with Poly/ML.

Autres paquets associés à libpolyml11

dépendances

recommandations

suggestions

enhances

dep: libc6.1 (>= 2.31)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libffi7 (>= 3.3~20180313)

Paquet indisponible
dep: libstdc++6 (>= 5)

bibliothèque standard C++ de GNU v3
dep: libunwind8

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

Télécharger libpolyml11

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ia64 (portage non officiel)	214,1 ko	951,0 ko	[liste des fichiers]