Pakiet: polyml (5.7.1-2)
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:
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.2.5)
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.7.1-2)
- modules for Poly/ML, a compiler for Standard ML
Pobieranie polyml
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 1 950,6 KiB | 17 995,0 KiB | [lista plików] |