Source Package: polyml (5.2.1-1.1)
Links for polyml
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
- Debian Science Maintainers (QA Page, Mail Archive)
- Achim D. Brucker (QA Page)
- Lionel Elie Mamane (QA Page)
External Resources:
- Homepage [www.polyml.org]
The following binary packages are built from this source package:
- libpolyml-dev
- development files for Poly/ML, a compiler for the Standard ML
- libpolyml1
- runtime files for Poly/ML, a compiler for the Standard ML
- polyml
- interpreter and interactive compiler for the Standard ML programming language
Other Packages Related to polyml
|
|
-
- adep: debhelper (>= 6)
- helper programs for debian/rules
-
- adep: autotools-dev
- Update infrastructure for config.{guess,sub} files
Download polyml
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| polyml_5.2.1-1.1.dsc | 2.0 kB | c2e428c2cb307c0cb2ee71a63e443e61 |
| polyml_5.2.1.orig.tar.gz | 4,018.1 kB | 303ba7d26c262999685ddd54b36dd16b |
| polyml_5.2.1-1.1.diff.gz | 464.4 kB | ff6d9097e988d3e239ec04b948f46db6 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/debian-science/packages/polyml.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=debian-science/packages/polyml.git