Pakiet: libpolyml11 (5.8.1-1~exp1)
Odnośniki dla libpolyml11
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ą.
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.
Inne pakiety związane z libpolyml11
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.29) [nie ia64, riscv64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Pakiet niedostępny
-
- dep: libgcc-s1 (>= 3.0) [nie hppa, ia64, m68k]
- Biblioteka wspomagająca GCC
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- Biblioteka wspomagająca GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- Biblioteka wspomagająca GCC
-
- dep: libstdc++6 (>= 5)
- Standardowa biblioteka GNU C++, wersja 3
-
- dep: libunwind8 [ia64]
- Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe
Pobieranie libpolyml11
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 181,8 KiB | 573,0 KiB | [lista plików] |
| arm64 | 165,4 KiB | 561,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 193,3 KiB | 629,0 KiB | [lista plików] |
| i386 | 194,2 KiB | 547,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 214,1 KiB | 951,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 179,2 KiB | 538,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 191,6 KiB | 821,0 KiB | [lista plików] |
| ppc64el | 187,5 KiB | 693,0 KiB | [lista plików] |
| riscv64 (port nieoficjalny) | 175,3 KiB | 507,0 KiB | [lista plików] |
| s390x | 167,8 KiB | 593,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 160,2 KiB | 578,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 182,0 KiB | 515,0 KiB | [lista plików] |
