polyml_5.6-5_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 13 Apr 2016 12:21:00 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-5
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27 at 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-5) unstable; urgency=low
 .
   * Bump up Standards-Version to 3.9.8
   * Removed patches:
     - request-completed-volatile-barrier.diff: Not a correct fix, as discussed
     with upstream in https://github.com/polyml/polyml/pull/49.
   * New patches:
     - thread-exited-interrupt-requested-overlap.diff: Fix threadExited and
     interrupt_requested overlapping. This fixes an occasional assertion
     failure on exit with the interpreted version, as well as the deadlock
     sometimes experienced on hppa.
Checksums-Sha1:
 63d7fe674feb963439cafa0b506b5f73df93fe4a 2030 polyml_5.6-5.dsc
 2a324e3fd7cfb22371886e5d0c8c848f5fa8e4f7 30528 polyml_5.6-5.debian.tar.xz
Checksums-Sha256:
 f4f57a3ab275bf5b1b950a23db6cf70cd239e8d766a1c0e749f49e7468749f87 2030 polyml_5.6-5.dsc
 0f765978d72c54be9c8e5fe43543e28dd729d1924217161de8f6090203073c29 30528 polyml_5.6-5.debian.tar.xz
Files:
 142e6817fdef267454a20ffeffcea685 2030 interpreters extra polyml_5.6-5.dsc
 2763cb14f2188291ad6b91dd4f714332 30528 interpreters extra polyml_5.6-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCgAGBQJXDi5jAAoJELGTdwwYahx9j98P/3kTUPnP3/7iwyn2rZ8Xes3x
m0LjEONMzPLbp5F7xYMPFFmaZn4xy3Um3vdU7gs4yDnJGG4yUx4ce250evRuvqVH
VaSbh/CGs+Oy5cebIu1GpOouGjyd2eEDBcLGsuhVBmrjjKR/EQ8b7JGP5uOaoLUf
FINGsKgc1W9hEZWNH+WBaxRK5kVz/A18rVxMRhDs4zJNBHK0PeW6yIWfyXWf7bo/
SpjpvXIHzjD43RMQGFiQLekPl1g696yV50YCr/Kxqb/RKDjnsINS2x3yCIH2o0EU
CflH/DHOe+XS7yqIyupLTf9OKR+JsRi66lW19WNi59RtfFnJHqC3agxiQmfMHkVY
7O2UCw3R6umUFD8bA+0T5USjISlWYeK9M1EOdauPFNYYO7Wg3PQlRIPengAKSPvA
dqxhvGQcAHt3VBc0a3IzhQo5gr3t6FDf6txetd/hH1kTHVNOtRQ618ephrsjl4JX
QBDhpP5IMgjPc6rGSjr/I3AJXy9pysYhLmQIOWt59xMasI5Su1Q1Akdlp9VuRFnT
PQE5K+v32igD/+Q6gffVbwXFKz0piAVOZAeq/VuRXlT5PIQL+0o1XEzWs8iqwReV
w7VELp/yMKTXlOYW7AI+dMlP9Y+fyPUHLcu++kdg4neCT7+zZBBEIoCXJcciGXv5
9rH9f/Icr1XBhaU71mav
=Xb1O
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.