[ Source: polyml ]
Package: 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:
Experimental package
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.
Udviklingsfiler for Poly/ML - en kompiler for Standard ML
Poly/ML er en implementering af programmeringssproget Standard ML. Standard ML er et alment, modulopbygget, type-sikkert, strengt, funktionelt programmeringssprog. Poly/ML er en SML 97-overholdende fortolker og kompiler, som understøtter oprettelsen af uafhængige kørbare filer med et interaktivt topniveau (REPL).
Denne pakke tilbyder filerne krævet for at kompilere uafhængige kørbare filer med Poly/ML.
Other Packages Related to libpolyml-dev
|
|
|
|
-
- dep: libpolyml11 (= 5.8.1-1~exp1)
- Kørselstidsfiler for Poly/ML - en kompiler for Standard ML
Download libpolyml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 218.0 kB | 1,229.0 kB | [list of files] |
| arm64 | 209.9 kB | 1,219.0 kB | [list of files] |
| hppa (unofficial port) | 228.3 kB | 1,012.0 kB | [list of files] |
| i386 | 238.4 kB | 988.0 kB | [list of files] |
| ia64 (unofficial port) | 264.8 kB | 1,610.0 kB | [list of files] |
| m68k (unofficial port) | 204.0 kB | 905.0 kB | [list of files] |
| mips64el | 242.9 kB | 1,538.0 kB | [list of files] |
| ppc64 (unofficial port) | 229.9 kB | 1,398.0 kB | [list of files] |
| ppc64el | 232.9 kB | 1,349.0 kB | [list of files] |
| riscv64 (unofficial port) | 526.4 kB | 5,257.0 kB | [list of files] |
| s390x | 201.1 kB | 1,192.0 kB | [list of files] |
| sparc64 (unofficial port) | 206.5 kB | 1,325.0 kB | [list of files] |
| x32 (unofficial port) | 215.6 kB | 936.0 kB | [list of files] |