polyml 5.6-3 source package in Ubuntu
Changelog
polyml (5.6-3) unstable; urgency=low * Support for the Hurd * Build is now reproducible * Bump up Standards-Version to 3.9.7 * New patches: - alpha.diff: Add support for alpha - bss-ioarea.diff: Export ioarea to bss section - m68k.diff: Add support for m68k - maxpathlen.diff: Remove all use of MAXPATHLEN - mips64.diff: Add support for mips64/mips64el - noexec-stack-gnu.diff: Mark stack as non-executable on all GNU systems - noflsh-unsigned.diff: Cast NOFLSH to unsigned (fixes a warning on the Hurd) - source-date-epoch.diff: Use SOURCE_DATE_EPOCH instead of current time if it is defined - x32.diff: Add support for x32 -- James Clarke <email address hidden> Sat, 12 Mar 2016 17:17:35 +0000
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 | |
---|---|---|---|---|
Xenial | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
polyml_5.6-3.dsc | 2.0 KiB | 31555441e76e43edbd327a4e73e2a803d488f52d1729b1c4cc13d3003cb000dd |
polyml_5.6.orig.tar.gz | 5.7 MiB | 38aaea8a170296666c8063e72fc7ab4f8268db471f57d7a99d8959d0fc9325de |
polyml_5.6-3.debian.tar.xz | 27.4 KiB | cd96a602badf2a4f21f3d5072c332557515cb7176dd4acf37827642353bfbf5e |
Available diffs
- diff from 5.6-2 to 5.6-3 (13.0 KiB)
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.
- libpolyml7: runtime 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 run stand-alone executables
built with Poly/ML.
- libpolyml7-dbgsym: debug symbols for package libpolyml7
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 run stand-alone executables
built with Poly/ML.
- 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.