[ Source: polyml ]
Пакунок: libpolyml-dev (5.8.1-1~exp1)
Links for libpolyml-dev
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
Експериментальний пакунок
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
development 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 compile stand-alone executables with Poly/ML.
Інші пакунки пов'язані з libpolyml-dev
|
|
|
|
-
- dep: libpolyml11 (= 5.8.1-1~exp1)
- runtime files for Poly/ML, a compiler for Standard ML
Завантажити libpolyml-dev
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| amd64 | 218.0 kB | 1,229.0 kB | [список файлів] |
| arm64 | 209.9 kB | 1,219.0 kB | [список файлів] |
| hppa (unofficial port) | 228.3 kB | 1,012.0 kB | [список файлів] |
| i386 | 238.4 kB | 988.0 kB | [список файлів] |
| ia64 (unofficial port) | 264.8 kB | 1,610.0 kB | [список файлів] |
| m68k (unofficial port) | 204.0 kB | 905.0 kB | [список файлів] |
| mips64el | 242.9 kB | 1,538.0 kB | [список файлів] |
| ppc64 (unofficial port) | 229.9 kB | 1,398.0 kB | [список файлів] |
| ppc64el | 232.9 kB | 1,349.0 kB | [список файлів] |
| riscv64 (unofficial port) | 526.4 kB | 5,257.0 kB | [список файлів] |
| s390x | 201.1 kB | 1,192.0 kB | [список файлів] |
| sparc64 (unofficial port) | 206.5 kB | 1,325.0 kB | [список файлів] |
| x32 (unofficial port) | 215.6 kB | 936.0 kB | [список файлів] |