polyml_5.7.1-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 08 Dec 2017 16:43:55 +0000
Source: polyml
Binary: polyml polyml-modules libpolyml-dev libpolyml9
Architecture: source
Version: 5.7.1-1
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
 libpolyml9 - runtime files for Poly/ML, a compiler for Standard ML
 polyml     - interpreter and interactive compiler for Standard ML
 polyml-modules - modules for Poly/ML, a compiler for Standard ML
Changes:
 polyml (5.7.1-1) unstable; urgency=medium
 .
   * New upstream version 5.7.1
   * Bump standards version to 4.1.2, no changes needed
   * Delete unused Test166-deadlock.patch from packaging
Checksums-Sha1:
 c3a8c4b2c8696b71842a0d9b40456b43d2fb963c 2155 polyml_5.7.1-1.dsc
 b25a9fa7bf3335c340585f96860f8b2258e12725 7278435 polyml_5.7.1.orig.tar.gz
 5ae02c5f564802fe0ea6d9b02a4c641aecdd4e55 14028 polyml_5.7.1-1.debian.tar.xz
 99f8ed402ff8f319135ea9781765d12cd69dc2db 6927 polyml_5.7.1-1_amd64.buildinfo
Checksums-Sha256:
 8151b978e8575ac270ff73d5e568c96506dd74a6cdb24ff79fae95e9763abe6b 2155 polyml_5.7.1-1.dsc
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 c6187bfa6637355a3a3022587e179d3bfe76cc0e01a768018b225091564237c4 14028 polyml_5.7.1-1.debian.tar.xz
 b86bb1287df6a4fd73fd24d199860646515cc48a01a8750aecd113a4ce0891e4 6927 polyml_5.7.1-1_amd64.buildinfo
Files:
 deb2f634540652b263e9102ce2021afb 2155 interpreters optional polyml_5.7.1-1.dsc
 b65bfc025078a7dd8afe70e39778620c 7278435 interpreters optional polyml_5.7.1.orig.tar.gz
 f70ebf5d3cde4a9ce835155ef5cdf93d 14028 interpreters optional polyml_5.7.1-1.debian.tar.xz
 4d57bd0b7e9097763e23f53cde03a7e7 6927 interpreters optional polyml_5.7.1-1_amd64.buildinfo

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAloqwkYACgkQsZN3DBhq
HH2llA/7BLztVrPsmIVChplPggVjAQRZZvE4rYHyeup1W1gN+mzvGjLPat5rK5Ud
hTjMQrItVwUBx1soUT96fNNkJkpKzkHNI8ZdU+BBj+XHaPBquZa1gi9y1aLGb3tU
Kbyk+pElXo043bREU4XRvNf3PTlYtwCSjVDAIuq3+ADb5JBK/fi6mwzuSmEu9RSy
3HHjA/vxtpA27Ok8wWywPl/mXWqLVNue1IIaSG6B9lbhUfiQUaPTOe0W2Y9333PJ
Lt3NuN0V02Y66p7elA6rZ0Aydw/M/SlssGvKwEWu2yHxFhwjfdwbepil++Djr32T
YbWS4sExogy63N4+KVp81svq6QR3sJi3suCKFMW9CD4lyT/+FjH+XXLgn1CNoLic
QN4kU1mq2AAkE0NWdQBe6u8qCzXRxdsjs4tNOszFlfTixsyUdrTLkGmJKhgpLGuw
KHva5r+DdPyXpZtAGEbsQSgeQKfarmAlsJOFu9zvXb4cb6Drr+rvEzp/7iG4JqWx
c20xF1tMLQxYS8jpWtX+0kQb/t3+Fhn83MN8GJLhVqjRqZVFNgYnNJWGLqEkF8EJ
PWq+LGeNOVxYZW9fGIc20h6tpYNXIw/WOK8/XPIuRsHbTVmrmDy4hyFy0C+pomER
uYC9ePQtIblugy7RqcMDUMNsCU7OBxtGgYQU/YYDDgHd2PfTqMg=
=WpLz
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.