polyml 5.7.1-1 source package in Ubuntu
Changelog
polyml (5.7.1-1) unstable; urgency=medium * New upstream version 5.7.1 * Bump standards version to 4.1.2, no changes needed * Delete unused Test166-deadlock.patch from packaging -- James Clarke <email address hidden> Fri, 08 Dec 2017 16:43:55 +0000
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
polyml_5.7.1-1.dsc | 2.1 KiB | 8151b978e8575ac270ff73d5e568c96506dd74a6cdb24ff79fae95e9763abe6b |
polyml_5.7.1.orig.tar.gz | 6.9 MiB | bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 |
polyml_5.7.1-1.debian.tar.xz | 13.7 KiB | c6187bfa6637355a3a3022587e179d3bfe76cc0e01a768018b225091564237c4 |
Available diffs
- diff from 5.7-2 to 5.7.1-1 (6.9 MiB)
No changes file available.
Binary packages built by this source
- libpolyml-dev: No summary available for libpolyml-dev in ubuntu cosmic.
No description available for libpolyml-dev in ubuntu cosmic.
- libpolyml9: No summary available for libpolyml9 in ubuntu cosmic.
No description available for libpolyml9 in ubuntu cosmic.
- libpolyml9-dbgsym: debug symbols for libpolyml9
- polyml: interpreter and interactive compiler for 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 top-level interpreter and compiler.
- polyml-dbgsym: debug symbols for polyml
- polyml-modules: No summary available for polyml-modules in ubuntu cosmic.
No description available for polyml-modules in ubuntu cosmic.