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]
Експериментальний пакунок
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.
Наступні двійкові пакунки побудовано з цього джерельного пакунка:
- 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
Інші пакунки пов'язані з polyml
|
|
-
- adep: debhelper (>= 10)
- helper programs for debian/rules
-
- adep: libffi-dev
- Бібліотека інтерфейсу зовнішніх функцій (файли для розробників)
-
- adep: libltdl-dev
- System independent dlopen wrapper for GNU libtool (headers)
Download polyml
| Файл | Розмір (в кБ) | 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