[ Bron: polyml ]
Pakket: polyml (5.7.1-5 en anderen)
Verwijzigingen voor polyml
Debian bronnen:
Het bronpakket polyml downloaden:
Beheerders:
Externe bronnen:
- Homepage [www.polyml.org]
Vergelijkbare pakketten:
interpreter and interactive 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 top-level interpreter and compiler.
Andere aan polyml gerelateerde pakketten
|
|
|
|
-
- dep: file
- Recognize the type of data in a file using "magic" numbers
-
- dep: g++
- GNU C++ compiler
-
- dep: libc6 (>= 2.24) [sh4]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.34) [niet alpha, ia64, sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: 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) [niet 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) [niet alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32]
polyml downloaden
Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|---|
alpha (unofficial port) | 5.7.1-5+b1 | 912,0 kB | 6.784,0 kB | [overzicht] |
amd64 | 5.7.1-5+b2 | 1.947,8 kB | 18.002,0 kB | [overzicht] |
arm64 | 5.7.1-5+b2 | 1.723,0 kB | 14.785,0 kB | [overzicht] |
armel | 5.7.1-5+b2 | 1.043,5 kB | 6.547,0 kB | [overzicht] |
armhf | 5.7.1-5+b2 | 1.043,5 kB | 6.543,0 kB | [overzicht] |
hppa (unofficial port) | 5.7.1-5+b1 | 846,6 kB | 3.884,0 kB | [overzicht] |
i386 | 5.7.1-5+b2 | 1.201,5 kB | 8.813,0 kB | [overzicht] |
ia64 (unofficial port) | 5.7.1-5 | 1.732,8 kB | 14.663,0 kB | [overzicht] |
m68k (unofficial port) | 5.7.1-5+b1 | 1.539,6 kB | 7.883,0 kB | [overzicht] |
mips64el | 5.7.1-5+b2 | 1.104,1 kB | 12.098,0 kB | [overzicht] |
ppc64 (unofficial port) | 5.7.1-5+b1 | 1.633,2 kB | 14.785,0 kB | [overzicht] |
ppc64el | 5.7.1-5+b2 | 1.714,5 kB | 14.785,0 kB | [overzicht] |
riscv64 | 5.7.1-5+b2 | 1.218,0 kB | 14.666,0 kB | [overzicht] |
s390x | 5.7.1-5+b2 | 1.637,7 kB | 14.664,0 kB | [overzicht] |
sh4 (unofficial port) | 5.6-8 | 653,4 kB | 7.149,0 kB | [overzicht] |
sparc64 (unofficial port) | 5.7.1-5+b1 | 1.157,5 kB | 16.641,0 kB | [overzicht] |
x32 (unofficial port) | 5.7.1-5+b1 | 1.665,8 kB | 7.876,0 kB | [overzicht] |