Source Package: polyml (5.8.1-1~exp1)
Links for polyml
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [www.polyml.org]
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.
The following binary packages are built from this source package:
- libpolyml-dev
- Udviklingsfiler for Poly/ML - en kompiler for Standard ML
- libpolyml11
- Kørselstidsfiler for Poly/ML - en kompiler for Standard ML
- polyml
- Fortolker og interaktiv kompiler for Standard XML
- polyml-modules
- Moduler for Poly/ML - en compiler for Standard ML
Other Packages Related to polyml
|
|
-
- adep: debhelper (>= 10)
- Hjælpeprogrammer for debian/rules
-
- adep: libffi-dev
- Bibliotek for Foreign Function Interface (udviklingsfiler)
-
- adep: libltdl-dev
- Systemuafhængigt omslag til dlopen for GNU libtool - teksthoveder
Download polyml
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| polyml_5.8.1-1~exp1.dsc | 2.1 kB | 0fdb08ae20c1e0a80f89dd1c7b238325 |
| polyml_5.8.1.orig.tar.gz | 9,614.5 kB | 54b8ba00c7a9d1b7dbbcae7857c7b4a1 |
| polyml_5.8.1-1~exp1.debian.tar.xz | 19.8 kB | 459cbcf2dd82f2aadc3f0099580219f3 |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/science-team/polyml.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/science-team/polyml