Accepted polyml 5.6-2 (source) into unstable
-----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@lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27@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-----