Pakiet: polyml (5.8.1-1~exp1)
Odnośniki dla polyml
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego polyml:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [www.polyml.org]
Podobne pakiety:
Pakiet eksperymentalny
Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.
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.
Inne pakiety związane z polyml
|
|
|
|
-
- dep: file
- Rozpoznawanie typu danych w pliku za pomocą "magicznych" liczb
-
- dep: g++
- Kompilator GNU C++
-
- dep: libc6 (>= 2.1.3) [i386, m68k]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [hppa, mips64el, s390x, sparc64]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.3) [ppc64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml11 (>= 5.8.1)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.8.1-1~exp1)
- modules for Poly/ML, a compiler for Standard ML
Pobieranie polyml
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 1 904,4 KiB | 16 953,0 KiB | [lista plików] |
arm64 | 1 611,7 KiB | 13 578,0 KiB | [lista plików] |
hppa (port nieoficjalny) | 798,8 KiB | 3 626,0 KiB | [lista plików] |
i386 | 1 246,6 KiB | 9 068,0 KiB | [lista plików] |
ia64 (port nieoficjalny) | 1 596,0 KiB | 13 571,0 KiB | [lista plików] |
m68k (port nieoficjalny) | 1 432,2 KiB | 7 284,0 KiB | [lista plików] |
mips64el | 1 037,3 KiB | 11 134,0 KiB | [lista plików] |
ppc64 (port nieoficjalny) | 1 512,8 KiB | 13 632,0 KiB | [lista plików] |
ppc64el | 1 604,4 KiB | 13 631,0 KiB | [lista plików] |
riscv64 (port nieoficjalny) | 1 150,7 KiB | 13 570,0 KiB | [lista plików] |
s390x | 1 477,2 KiB | 13 570,0 KiB | [lista plików] |
sparc64 (port nieoficjalny) | 1 109,9 KiB | 13 576,0 KiB | [lista plików] |
x32 (port nieoficjalny) | 1 552,8 KiB | 7 277,0 KiB | [lista plików] |