[ Source: polyml ]
Package: polyml (5.7.1-5 and others)
Links for polyml
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
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.
Other Packages Related to polyml
|
|
|
|
-
- dep: file
- Recognize the type of data in a file using "magic" numbers
-
- dep: g++
- GNU C++ compiler
-
- dep: libc6 (>= 2.24) [sh4]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.34) [not alpha, ia64, sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.36) [ia64]
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml7 (>= 5.6) [sh4]
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88) [not sh4]
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.7.1-5) [ia64]
- modules for Poly/ML, a compiler for Standard ML
- dep: polyml-modules (= 5.7.1-5+b1) [alpha, hppa, m68k, ppc64, sparc64, x32]
- dep: polyml-modules (= 5.7.1-5+b2) [not alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32]
Download polyml
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 5.7.1-5+b1 | 912.0 kB | 6,784.0 kB | [list of files] |
| amd64 | 5.7.1-5+b2 | 1,947.8 kB | 18,002.0 kB | [list of files] |
| arm64 | 5.7.1-5+b2 | 1,723.0 kB | 14,785.0 kB | [list of files] |
| armel | 5.7.1-5+b2 | 1,043.5 kB | 6,547.0 kB | [list of files] |
| armhf | 5.7.1-5+b2 | 1,043.5 kB | 6,543.0 kB | [list of files] |
| hppa (unofficial port) | 5.7.1-5+b1 | 846.6 kB | 3,884.0 kB | [list of files] |
| i386 | 5.7.1-5+b2 | 1,201.5 kB | 8,813.0 kB | [list of files] |
| ia64 (unofficial port) | 5.7.1-5 | 1,732.8 kB | 14,663.0 kB | [list of files] |
| m68k (unofficial port) | 5.7.1-5+b1 | 1,539.6 kB | 7,883.0 kB | [list of files] |
| mips64el | 5.7.1-5+b2 | 1,104.1 kB | 12,098.0 kB | [list of files] |
| ppc64 (unofficial port) | 5.7.1-5+b1 | 1,633.2 kB | 14,785.0 kB | [list of files] |
| ppc64el | 5.7.1-5+b2 | 1,714.5 kB | 14,785.0 kB | [list of files] |
| riscv64 | 5.7.1-5+b2 | 1,218.0 kB | 14,666.0 kB | [list of files] |
| s390x | 5.7.1-5+b2 | 1,637.7 kB | 14,664.0 kB | [list of files] |
| sh4 (unofficial port) | 5.6-8 | 653.4 kB | 7,149.0 kB | [list of files] |
| sparc64 (unofficial port) | 5.7.1-5+b1 | 1,157.5 kB | 16,641.0 kB | [list of files] |
| x32 (unofficial port) | 5.7.1-5+b1 | 1,665.8 kB | 7,876.0 kB | [list of files] |