Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> libdevel >> libpolyml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : polyml  ]

Paquet : libpolyml-dev (5.7.1-4ubuntu1)

development 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 compile stand-alone executables with Poly/ML.

Autres paquets associés à libpolyml-dev

  • dépendances
  • recommandations
  • suggestions
  • dep: libpolyml9 (= 5.7.1-4ubuntu1)
    runtime files for Poly/ML, a compiler for Standard ML

Télécharger libpolyml-dev

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 246,5 ko1233 ko [liste des fichiers]