Accepted polyml 5.6-6 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 25 Apr 2016 21:19:22 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-6
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27@jrtc27.com>
Description:
libpolyml-dev - development files for Poly/ML, a compiler for Standard ML
libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML
polyml - interpreter and interactive compiler for Standard ML
Changes:
polyml (5.6-6) unstable; urgency=medium
.
* Added autopkgtest support for upstream's test suite
* New patches:
- polyc-it.diff: Don't set "it" in polyc. This fixes the test suite when
compiled with polyc.
- reset-save-vector-sleep.diff: Ensure the save vector is reset when
sleeping in Posix.Process.sleep. This stops the save vector from
potentially overflowing and causing an assertion failure.
- wait-return-valid-status.diff: Only return the "status" value from
"wait" if the result is non-zero. This fixes a Fail "Unknown result
status" exception being raised occasionally.
Checksums-Sha1:
b09527f19624f609a241af3c3ed14710e0602a37 2053 polyml_5.6-6.dsc
c142db52acd4ff37271518c3ffdc35212baba191 32464 polyml_5.6-6.debian.tar.xz
Checksums-Sha256:
e5d737b3db1cd7b2c8941ce0154c4c289f71d69d4c15f2d3415780f9fc51e2a3 2053 polyml_5.6-6.dsc
8cd6892c1007b4664e86f824b856a7b8d2953d838785cb63a28b5965b10b6e9a 32464 polyml_5.6-6.debian.tar.xz
Files:
39deb058d431b46afb20704e0e61eb68 2053 interpreters extra polyml_5.6-6.dsc
e134a86cbdadf387990d1b732889f9c7 32464 interpreters extra polyml_5.6-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCgAGBQJXHn1LAAoJELGTdwwYahx9uAwP/2hfA87CS3gs0fa1qxUVWar/
d3eDEL+c4sP0W+bFCDTrucsgqYWqkQatvj0w+DMmFxV/UIr//fUzlyt+qG6UYszx
UcpnsRjqV940emc9phoT2Dt8cy7fmiw6kauD+K1vLUKyCThBGD7pemxYvfC9WoMs
QvnpLFL73MdoWBr8NGMnoLVgH8LlJAdbyxE5DTKvdVhMblIWbmuzBgz+w3TdDwDs
DolThlr1yisZ2mfwA738mLz/5X+r94jmHQmrELtaN/Jq0dhItaMsTGXbwkSnelg/
Cc1YxA8wgFGwysaddJ2f3bhAvNdZNz8lEzLkAUnPLFBYafxnxlsNghQylJ0TWVBD
8DKR7WT8DhxBGpUjsATKe1ck4uj/2zloBR02KdZD1HXOOi8v287l6fDhIco7E3MO
zVdidCQ/m3j0/TXMubD4laNme5gabn1XJXx8FTa/qoZsFIOC7OVsFKoPLGAJPoSh
cC479+mupVYQzEZ+foFq0/LmGehVe2OHd3M7YhQnMqc/pHWXVzILPOW9I8rdAR8R
QRfu4BFwhBpz53qJMsb/vdHBIQ1iW1Ldz50fnvNJbiaE35kz0of9vlAs9GxWLfuB
NNNRKGe67v64u/bpzITuDnv2Xft1jo5IRKSUy2M3Ja8TNNyppdv+tqpKfCDCR4Ey
5mZ+Ixj23V3IUYzb2IJP
=F12A
-----END PGP SIGNATURE-----