polyml_5.7-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Thu, 05 Oct 2017 15:25:54 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml8
Architecture: source
Version: 5.7-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27 at debian.org>
Description:
 libpolyml-dev - development files for Poly/ML, a compiler for Standard ML
 libpolyml8 - runtime files for Poly/ML, a compiler for Standard ML
 polyml     - interpreter and interactive compiler for Standard ML
Changes:
 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
Checksums-Sha1:
 98f3c3d403c09f15aebc88c51b23c6c1d3ed6a78 2082 polyml_5.7-2.dsc
 2844fb56e87e12a9aea3b0f1ef01cee345e8a327 14280 polyml_5.7-2.debian.tar.xz
 ecfff8a9530a630c95d7cba53854d80c727d0ca9 6576 polyml_5.7-2_amd64.buildinfo
Checksums-Sha256:
 d8dc0beefda7d751da89e854d53a374b3f23c6ba32662c06b8c249453fec7081 2082 polyml_5.7-2.dsc
 6c48e1e980103f837f48da13aa5e1e3ba2e31f30d303949bd32e65ca67ec12fb 14280 polyml_5.7-2.debian.tar.xz
 43db5b537a0e4cf2240b2f2c7c5c90312bffe1d155b43c95a6bca6961f93afda 6576 polyml_5.7-2_amd64.buildinfo
Files:
 83afad853e119e374d7afe3756462691 2082 interpreters optional polyml_5.7-2.dsc
 f2bc099677c4caae0d4f15f681c03a63 14280 interpreters optional polyml_5.7-2.debian.tar.xz
 51c96de5062e7b4925cf87dd1cf5eba7 6576 interpreters optional polyml_5.7-2_amd64.buildinfo

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlnWQokACgkQsZN3DBhq
HH2kpA//bmNgwjOwC4YHZJcyxYuF1bc4m1xWEpQ8dEo9u1dhRMnMBKKOiPszsqqv
GWgvunUS1wYlf4/30m+YdxbLUEsugubaeIx3jKODPW9JudcXyryM1eg/+tMOhdgf
dF6AGHM6pQWOQMnPFYROwKQWKNA6fNhBUHfG8TxaX+wY8TvTvFv51siX6YtqfJ3u
phzPbTrq6pJOBipTKaDJGf5HGNgDn9O4Qw/Ge5Kny516S4Mud50P+0wRqAddf63e
pvuxVR6C/z1Jo5OGbRSr3Lcg7qGWrQ0tTmdGeQNcK6oLHfSuDzJVFCQ89zVcm5Gb
Zx6Lrhl3C7En464Cpuu+syNnglQAG0KT8+k2NAWyA8axJXF37bAe5Tq6aBTQyIXm
kIcpXMK9yhr3bSyqoxB6t4ekxFi5jRfoOInjRfS6Vc3v/GLq+bwhH+6GPO0USbQh
WNwjf+3AO119k2aYQCPJV1Tx0nQImPI1YnBQFw92eoxjNYQENBEx9Lu2AV6bNW1o
dJ7TkjzQGYZmulibVGkpYWfDDtO0MBlKl3tLL7bMJJBUh+bnoUhFEjatrlUHNSfF
TImWi0aaOGpRCIVlx3tXySJIADNlYDVUUBoPHo4L8wq3AIQwsTGkL4kFNP6GZtJe
nDHdd3MH6JilIZCyvprlaYxQTD7mvz8xMayQYtskFsVFYqGlM/Y=
=QVqx
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.