polyml_5.6-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Mon, 01 Feb 2016 00:08:29 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-2
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-2) unstable; urgency=low
 .
   * Replaced soft-float-rounding.diff with upstream's
     rounding-mode-test-allow-exceptions.diff,
     rounding-mode-test-only-allow-exceptions-for-set-mode.diff, soft-fpu.diff
     and disable-compile-time-real-eval.diff. Avoids modifying the test driver,
     instead skipping the test if unsupported directly inside the test itself.
   * New patches (excluding soft-float-rounding.diff replacements):
     - fix-heap-ratio-assert.diff: Backport upstream's fix to let the
       calculated minimum heap size be the same as the desired value.
       Previously it failed an assertion.
     - fix-script-args.diff: Backport upstream's fix so --script can be used
       with additional command-line arguments.
     - mips-abi.diff: Mark polyexport.o as CPIC on MIPS when code is
       position-independent. Fixes ld warning about linking abicalls files with
       non-abicalls files.
     - unix-const-vec-unsigned.diff: Define unixConstVec as unsigned. Fixes
       narrowing conversion inside braces on PowerPC with GCC 6.
     - use-polyunsigned-consistently-for-stream-ids.diff: Backport upstream's
       fix so POLYUNSIGNED is used everywhere to refer to stream IDs, avoiding
       implicit narrowing conversions. Includes fixed realloc failure handling.
Checksums-Sha1:
 3149cef71bf1cafb0e1efcf12cd2e5f0b5775244 2044 polyml_5.6-2.dsc
 c314af71a901350994971a60e80a5bb5ce590cb8 17772 polyml_5.6-2.debian.tar.xz
Checksums-Sha256:
 4044f9ec2e58ff1bdb26d37f9318312e3290a69bcdb74e7feee151734e420cf6 2044 polyml_5.6-2.dsc
 788e235818c8e4b4b0c5d981b5860bb9fcade5dddab585102f63e95575e7520d 17772 polyml_5.6-2.debian.tar.xz
Files:
 87c51023d0dce7c08e1da233184adbb9 2044 interpreters extra polyml_5.6-2.dsc
 e040a6079a37d11d23e755fcb202e506 17772 interpreters extra polyml_5.6-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWrzdFAAoJEPNPCXROn13ZHIcP/ifyDt9vHrYkNi2jL0QZgsRT
kqAOrXs4sMX/CCVKA0az7WdVrulF/xBdexILe500hGwFTUQYCqbgzLIJEi5STPt/
l1bDfP+G9pvDY6/7ew0fK6eU4XE1mC4Z7whNcQMppGvO2230q7bSteONYy7MXdpr
+6scu7LPgvgU1h3HO7O+g0FQzyXBwLaWgugbdmEeoxWroeQOdIVY3l5glg1YsUde
5M4Zpvu+cxJu9cl/853ue99XeLpMmjuba1fvH3oHg0H0NHQzv0JxMiNxqh7iqEPJ
kcfuAbTHvepRVMXQAM6dk4rL8YGg+vHXvMpZG08QEq9w4OAFhtPXijcTm1yFQrb/
RwLfUDOusfyaY2Vx6oyB2xHvWhuRxYxHo6dinYNfsEHyjWcP6loEyHPpZiqtfO4D
TBMHC3tbt3CGpHvBP5tzy37R0xiJ72PdKJWnAmhzbrxjdxhU+4aZQQGgeZyFROPS
02QsfetnGa7knJvi06FCCaQZHWiytfqnbePt5lesvg39rD7wxl61Qi6ilb/mQZCd
rwlFV69GvxwzyQuheD8iDnqkYqTzbdKWaWVchLqMpbtuBc8KBam35+NR7x+mFamr
ATBTwPwNz6x0/k7/HC73CW17HpYc19xXg+JH7Wjhjl/l8GjhBnh31lkPMkSPLRvH
UhX1yEcIE1ZcUPreW/HE
=jEKf
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.