Paquet : libpolyml11 (5.8.1-1~exp1) [debports]
Liens pour libpolyml11
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
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
|
|
|
|
-
- 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
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
ia64 (portage non officiel) | 214,1 ko | 951,0 ko | [liste des fichiers] |