Pacote: libpolyml-dev (5.7.1-5 e outros) [debports]
Links para libpolyml-dev
Recursos de Debian:
Baixe o pacote-fonte :
Não encontradoMantenedores(as):
Fontes externas:
- Pagina principal [www.polyml.org]
Pacotes similares:
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.
Outros pacotes relacionados a libpolyml-dev
|
|
|
|
-
- dep: libpolyml9 (= 5.7.1-5+b1)
- runtime files for Poly/ML, a compiler for Standard ML
Download de libpolyml-dev
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| alpha (porte não oficial) | 5.7.1-5+b1 | 247.7 kB | 1,679.0 kB | [lista de arquivos] |