polyml 5.7-2 source package in Ubuntu
Changelog
polyml (5.7-2) unstable; urgency=medium
* Bump standards version to 4.1.1, no changes needed
* d/control:
- Add Breaks/Replaces on libpolyml7
- Remove Testsuite field; now automatically added by dpkg
- Drop dh-autoreconf dependency; redundant since dehelper 10
* d/rules:
- Drop explicit --with autoreconf; redundant since compat 10
-- James Clarke <email address hidden> Thu, 05 Oct 2017 15:25:54 +0100
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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| polyml_5.7-2.dsc | 2.0 KiB | d8dc0beefda7d751da89e854d53a374b3f23c6ba32662c06b8c249453fec7081 |
| polyml_5.7.orig.tar.gz | 7.0 MiB | 19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279 |
| polyml_5.7-2.debian.tar.xz | 13.9 KiB | 6c48e1e980103f837f48da13aa5e1e3ba2e31f30d303949bd32e65ca67ec12fb |
Available diffs
- diff from 5.7-1 to 5.7-2 (854 bytes)
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.
- libpolyml8: No summary available for libpolyml8 in ubuntu bionic.
No description available for libpolyml8 in ubuntu bionic.
- libpolyml8-dbgsym: No summary available for libpolyml8-dbgsym in ubuntu bionic.
No description available for libpolyml8-dbgsym in ubuntu bionic.
- 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
