[ Source: polyml ]
Package: libpolyml1 (5.2.1-1) [universe]
Links for libpolyml1
Ubuntu Resources:
Download Source Package polyml:
Maintainer:
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:
- Homepage [www.polyml.org]
Similar packages:
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.
Other Packages Related to libpolyml1
|
|
|
-
- dep: libc6 (>= 2.7)
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.1.1)
- The GNU Standard C++ Library v3
Download libpolyml1
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 150.5 kB | 416.0 kB | [list of files] |
| i386 | 148.6 kB | 392.0 kB | [list of files] |