polyml_5.5.2-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 20 Oct 2015 22:37:47 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml6
Architecture: source
Version: 5.5.2-3
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
 libpolyml6 - runtime files for Poly/ML, a compiler for Standard ML
 polyml     - interpreter and interactive compiler for Standard ML
Closes: 802341
Changes:
 polyml (5.5.2-3) unstable; urgency=low
 .
   * Team upload.
   * Backport upstream's arm64 support (Closes: #802341)
   * Added file dependency (required by polyc)
Checksums-Sha1:
 e2ebc98ca04cec3ff6f62c17d9dc56f6d0e8730d 2108 polyml_5.5.2-3.dsc
 68264ae4caadbf6cc1d9a90c47b34e1d1ad0a61e 5458111 polyml_5.5.2.orig.tar.gz
 32fe1a69a76d928d4607334e0d76be4b4eac357a 12252 polyml_5.5.2-3.debian.tar.xz
Checksums-Sha256:
 68637c7e50678ce33fb839703140f60fb9a01c35b4a6adca52525df1125dffcb 2108 polyml_5.5.2-3.dsc
 1a87e5b014f1568c624e1d414ddf928b2f30fb4b1c44e5816fc6fe16a3674a6b 5458111 polyml_5.5.2.orig.tar.gz
 488a3fd89555926f7641c8d0bc11cd5a6bbe6873c0880b20da77530af44b0a6b 12252 polyml_5.5.2-3.debian.tar.xz
Files:
 e832b5351706c948c3b1d6d820b42c24 2108 interpreters extra polyml_5.5.2-3.dsc
 251ae87b8c0d383b3d38c2589a2bf659 5458111 interpreters extra polyml_5.5.2.orig.tar.gz
 658fd5bf4714757709a792fcd8b6a8a6 12252 interpreters extra polyml_5.5.2-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJWKP9AAAoJEPNPCXROn13Z/fsQANa9q7aVBg5nSFN7Rd1awAiT
e2W1+KhhZUwmLkGy60W3KUGncRlhLMj7cG243n+0FdhFhF6P1m2iif1Cb5FhBNn/
b0Hr+5JEvUSHUcy8xZRg5vVqcr8obBrHccOe2FzRrtZZ12Ar9JME+CkL2wGi4AiK
EcnOHgm67K6DnvxedWeLWkxXPmNXw0z57AN8+NGWbPWfgHrJpyIjgBMlZjV4Lf9W
4/hawx0ftoLyZeiCEN2Ylw5n50zmvsjb5KXMTXX6/UE8WMncDI9J3eFVTRLMlISK
+w+eDUyCiRYv+P2oinT0JJ/42xlVS1zpnK7jdKHcCJ/iC1R037PWrptmZo+UkHVG
bg5HuA09R9pW7oroVtVG7ASZqo+Nl3YP4yPcAq3x7ULEgwhjSXQJ0PcFmxAum4Sl
PHVjbxbDZdKkfnCDevCZCogEFVDFzfC/ZjSv5YYbywce7GorzjjC8+9z4cCvH2DH
rBNqby7BhcorNeYnQLVb6JevvpPbWKdjd5pt4IUJwtf08BpMigB7QlO6ZjZJnVE8
d1G5xgipeQc/9kIq0Siy1MOLirAyTedmim+6Wtt26JbAWY1VR3enrwcqJIbh2t2g
/Fru8G6HrDtE9b/BM6u39FNMi23HLomgy+pRQKFQEF+20GFmv6HITNUN022SyHmN
Va4jEScYe0bR6hEWuKNG
=jenG
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.