Bronpakket: polyml (5.8.1-1~exp1)
Verwijzigingen voor polyml
Debian bronnen:
- Probleemrapporten
- Developer Information
- Debian Changelog
- Copyright-bestand
- Debian Source Repository (Git)
- Debian Patch Tracker
Beheerders:
Externe bronnen:
- Homepage [www.polyml.org]
Experimenteel pakket
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.
De volgende binaire pakketten worden van dit bronpakket gebouwd:
- libpolyml-dev
- development files for Poly/ML, a compiler for Standard ML
- libpolyml11
- runtime files for Poly/ML, a compiler for Standard ML
- polyml
- interpreter and interactive compiler for Standard ML
- polyml-modules
- modules for Poly/ML, a compiler for Standard ML
Andere aan polyml gerelateerde pakketten
|
|
-
- adep: debhelper (>= 10)
- helper programs for debian/rules
-
- adep: libffi-dev
- Foreign Function Interface library (development files)
-
- adep: libltdl-dev
- System independent dlopen wrapper for GNU libtool (headers)
Download polyml
| Bestand | Grootte (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