[ Source: polyml ]
Paketti: libpolyml1 (5.2.1-1) [universe]
Links for libpolyml1
Ubuntu-palvelut:
Imuroi lähdekoodipaketti polyml:
Ylläpitäjä:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Achim D. Brucker
- Lionel Elie Mamane
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Kotisivu [www.polyml.org]
Samankaltaisia paketteja:
runtime files for Poly/ML, a compiler for the 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 run stand-alone executables built with Poly/ML.
Muut pakettiin libpolyml1 liittyvät paketit
|
|
|
-
- dep: libc6 (>= 2.7)
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.1.1)
- The GNU Standard C++ Library v3
Imuroi libpolyml1
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 150.5 kt | 416.0 kt | [tiedostoluettelo] |
| i386 | 148.6 kt | 392.0 kt | [tiedostoluettelo] |