[ Bron: polyml ]
Pakket: libpolyml9 (5.7.1-5 en anderen)
Verwijzigingen voor libpolyml9
Debian bronnen:
Het bronpakket polyml downloaden:
Beheerders:
Externe bronnen:
- Homepage [www.polyml.org]
Vergelijkbare pakketten:
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.
Andere aan libpolyml9 gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.38) [niet alpha, ia64]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libc6.1 (>= 2.36) [ia64]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface library runtime
-
- dep: libgcc-s1 (>= 3.0) [niet armel, armhf, hppa, ia64, m68k]
- GCC support bibliotheek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC support bibliotheek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support bibliotheek
-
- dep: libstdc++6 (>= 5)
- GNU Standard C++ Library v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
libpolyml9 downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 5.7.1-5+b1 | 176,6 kB | 632,0 kB | [overzicht] |
| amd64 | 5.7.1-5+b2 | 187,5 kB | 586,0 kB | [overzicht] |
| arm64 | 5.7.1-5+b2 | 172,3 kB | 626,0 kB | [overzicht] |
| armel | 5.7.1-5+b2 | 166,7 kB | 508,0 kB | [overzicht] |
| armhf | 5.7.1-5+b2 | 167,3 kB | 408,0 kB | [overzicht] |
| hppa (unofficial port) | 5.7.1-5+b1 | 189,4 kB | 622,0 kB | [overzicht] |
| i386 | 5.7.1-5+b2 | 200,2 kB | 572,0 kB | [overzicht] |
| ia64 (unofficial port) | 5.7.1-5 | 215,0 kB | 972,0 kB | [overzicht] |
| m68k (unofficial port) | 5.7.1-5+b1 | 179,5 kB | 544,0 kB | [overzicht] |
| mips64el | 5.7.1-5+b2 | 171,7 kB | 735,0 kB | [overzicht] |
| ppc64 (unofficial port) | 5.7.1-5+b1 | 194,3 kB | 818,0 kB | [overzicht] |
| ppc64el | 5.7.1-5+b2 | 191,7 kB | 754,0 kB | [overzicht] |
| riscv64 | 5.7.1-5+b2 | 184,2 kB | 522,0 kB | [overzicht] |
| s390x | 5.7.1-5+b2 | 187,6 kB | 622,0 kB | [overzicht] |
| sparc64 (unofficial port) | 5.7.1-5+b1 | 158,1 kB | 1.094,0 kB | [overzicht] |
| x32 (unofficial port) | 5.7.1-5+b1 | 186,8 kB | 536,0 kB | [overzicht] |