polyml_5.6-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sat, 12 Mar 2016 17:17:35 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-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
 libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML
 polyml     - interpreter and interactive compiler for Standard ML
Changes:
 polyml (5.6-3) unstable; urgency=low
 .
   * Support for the Hurd
   * Build is now reproducible
   * Bump up Standards-Version to 3.9.7
   * New patches:
     - alpha.diff: Add support for alpha
     - bss-ioarea.diff: Export ioarea to bss section
     - m68k.diff: Add support for m68k
     - maxpathlen.diff: Remove all use of MAXPATHLEN
     - mips64.diff: Add support for mips64/mips64el
     - noexec-stack-gnu.diff: Mark stack as non-executable on all GNU systems
     - noflsh-unsigned.diff: Cast NOFLSH to unsigned (fixes a warning on the
     Hurd)
     - source-date-epoch.diff: Use SOURCE_DATE_EPOCH instead of current time if
     it is defined
     - x32.diff: Add support for x32
Checksums-Sha1:
 6e8886beed10f380d653e3577dcce22f333b114f 2049 polyml_5.6-3.dsc
 fe601efdc4d06d66e29447bb50486fb33ef5d12a 28008 polyml_5.6-3.debian.tar.xz
Checksums-Sha256:
 31555441e76e43edbd327a4e73e2a803d488f52d1729b1c4cc13d3003cb000dd 2049 polyml_5.6-3.dsc
 cd96a602badf2a4f21f3d5072c332557515cb7176dd4acf37827642353bfbf5e 28008 polyml_5.6-3.debian.tar.xz
Files:
 21cc9b8d20b735f2ddf4328a90ecd076 2049 interpreters extra polyml_5.6-3.dsc
 6d82ded64afc148e129a114c5ee0d6e4 28008 interpreters extra polyml_5.6-3.debian.tar.xz

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

iQIcBAEBCAAGBQJW5GELAAoJEPNPCXROn13ZsdsQALUY8kA9QKPaTx9AvM45h3yy
JWpZsYJCZaxhSQ7RbVpwGncssOh8xcK60Ake0ClXMZZTPQ5yKTVgFQflBasYOtuX
yaj6XsQi4yCRStd+RGctR+6Idrp3g2YSvGYIC+VL5FamVWBGbCk3JjjWhAiaSoov
nFVmlsDp2PGyKDse3np05j6oFTmjQFLYW/HVmTfFjIbMteGSpHMiM9tKSheQyX+d
cEJ9IujMt8A9LInn0/Bn2FWicHXTF1S1k/wbHkljUHPWboin5nUnqH62fnMy9XyA
5RYUqVdVOn0R4QniN5IeAA3mdznuQCD+s+31mAMr1nDarLCSOykc0lVM/6jfZJ2a
8tppvAKLlB3EKkvaZEFby5Sb8hDRmviqCIUD+OelkgYWnrwGPGyH4KYV6h8rc3Ne
S45vW57tHOnvggoTmRpIVPq1BckOB7MuvHtQ7VL4K0DqefGYEu2jNl4fWqVoHt3V
hZ5Ha7kjKrAFBFvuvvA5on+YcLOEKUGTdPxxNvPNCVooyVDAF9nqRYj9v8pAFA0p
JPBtCKkyYlrxhZJgrWHWqTC14eFqdmDBOUOtcndMvskYSxxr8LNLYkHylWDtfYSj
EF3R4hMbrIteM3RCG2XOPeA7IwRcBgokFZimZ4kvtyn2gKMq6XKwONyIwa8BO6+f
SwJEO7ULxqgkAVDY+Vb8
=V8sa
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.