polyml 5.5.2-3 source package in Ubuntu
Changelog
polyml (5.5.2-3) unstable; urgency=low * Team upload. * Backport upstream's arm64 support (Closes: #802341) * Added file dependency (required by polyc) -- James Clarke <email address hidden> Tue, 20 Oct 2015 22:37:47 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
polyml_5.5.2-3.dsc | 2.1 KiB | 68637c7e50678ce33fb839703140f60fb9a01c35b4a6adca52525df1125dffcb |
polyml_5.5.2.orig.tar.gz | 5.2 MiB | 1a87e5b014f1568c624e1d414ddf928b2f30fb4b1c44e5816fc6fe16a3674a6b |
polyml_5.5.2-3.debian.tar.xz | 12.0 KiB | 488a3fd89555926f7641c8d0bc11cd5a6bbe6873c0880b20da77530af44b0a6b |
No changes file available.
Binary packages built by this source
- libpolyml-dev: development files for Poly/ML, a 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 files needed to compile stand-alone executables
with Poly/ML.
- libpolyml6: No summary available for libpolyml6 in ubuntu xenial.
No description available for libpolyml6 in ubuntu xenial.
- libpolyml6-dbgsym: No summary available for libpolyml6-dbgsym in ubuntu xenial.
No description available for libpolyml6-dbgsym in ubuntu xenial.
- 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 package polyml
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.