-----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@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-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-----
