[ Източник: polyml ]
Пакет: polyml (5.7.1-5)
Връзки за polyml
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник polyml.
Отговорници:
Външни препратки:
- Начална страница [www.polyml.org]
Подобни пакети:
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.
Други пакети, свързани с polyml
|
|
|
|
-
- dep: file
- Recognize the type of data in a file using "magic" numbers
-
- dep: g++
- GNU C++ compiler
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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-5)
- modules for Poly/ML, a compiler for Standard ML
Изтегляне на polyml
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
ppc64el | 1 728,4 кБ | 14 784,0 кБ | [списък на файловете] |