polyml_5.6-1_amd64.changes ACCEPTED into unstable, unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Mon, 25 Jan 2016 23:09:59 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source amd64
Version: 5.6-1
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-1) unstable; urgency=low
 .
   * New upstream version
   * Removed patches applied upstream
   * Rename libpolyml6 to libpolyml7
   * New patches:
     - ioctl-int.diff: Use int instead of unsigned long for ioctl calls. Fixes
       Tests/Succeed/Test083.ML on 64-bit big-endian architectures.
     - s390.diff: Add support for S/390 (both s390 and s390x).
     - soft-float-rounding.diff: Don't support rounding modes for soft-float
       systems. Skips Tests/Succeed/Test121.ML on armel.
     - streamtoken-endian.diff: Use a POLYUNSIGNED for StreamToken.streamNo.
       Fixes stream issues on 64-bit big-endian architectures.
Checksums-Sha1:
 d39b87c0acdd23802f2c321bc52a3f90d52b2b96 2044 polyml_5.6-1.dsc
 f5838bce0a285bec521832367f5cedc3918e71fa 5989514 polyml_5.6.orig.tar.gz
 2b14c2a7a5f9c8e500504d41fdcb38d5ff11e9aa 14312 polyml_5.6-1.debian.tar.xz
 94643c6a328afed37140f8fd9ef51ca8e820b99f 221356 libpolyml-dev_5.6-1_amd64.deb
 c27b8a3025fce7ca58c328d07deb4f047a4f6b5e 605998 libpolyml7-dbgsym_5.6-1_amd64.deb
 b19a6677f09d48defeeb7364fc0ce8ad4ae101ff 182644 libpolyml7_5.6-1_amd64.deb
 2bb77f1b027a1c46e9f3d6b0f5b4abdb7299d76c 53218 polyml-dbgsym_5.6-1_amd64.deb
 7449f6587c066eded0a3405afaec2f4aa31bde8e 1772622 polyml_5.6-1_amd64.deb
Checksums-Sha256:
 096673f1ca1447c10c02ff11b706c77f6bc1ced4b66960991431c265ed709a3f 2044 polyml_5.6-1.dsc
 38aaea8a170296666c8063e72fc7ab4f8268db471f57d7a99d8959d0fc9325de 5989514 polyml_5.6.orig.tar.gz
 1c5b6dd39dbb0faab812df35b969aa08f94b8911021af9b03a6732fe38a0497b 14312 polyml_5.6-1.debian.tar.xz
 f4ade51eeac94e194fa539a67d429d4ca72c956f62214087b0729069bac0b2d0 221356 libpolyml-dev_5.6-1_amd64.deb
 6cdabf300cb78e98d3edd35c8dbf82c807b110dc0737b186f62219df310e512d 605998 libpolyml7-dbgsym_5.6-1_amd64.deb
 88b02256b77152c6a9213862a6e7a52df0590cae6d89febd32ee0ef59db163ff 182644 libpolyml7_5.6-1_amd64.deb
 2e40d047b2fc188f95edca45ba4742b402afd8914f5a4fa6e6eeb7a2cba5fdac 53218 polyml-dbgsym_5.6-1_amd64.deb
 6394462e11371081545eecd74364f02e6fee02682ebd33ba34a47420d5439f28 1772622 polyml_5.6-1_amd64.deb
Files:
 0e87b29e67bbe98c3323d09fbaea835f 2044 interpreters extra polyml_5.6-1.dsc
 ccc114d014ca2d0d7e4a4040e5a6308d 5989514 interpreters extra polyml_5.6.orig.tar.gz
 73018a61a8ed48408b5ac4e50b2df47e 14312 interpreters extra polyml_5.6-1.debian.tar.xz
 7d6cd761a25b5fe9bfae2ca2a2393705 221356 libdevel extra libpolyml-dev_5.6-1_amd64.deb
 eb8b994520df18a696becfa0a9921789 605998 debug extra libpolyml7-dbgsym_5.6-1_amd64.deb
 519bb539d861c6d7912b0b3f7ee3f6a0 182644 libs extra libpolyml7_5.6-1_amd64.deb
 4d27d79f7a5ca9c731984f4199f916fe 53218 debug extra polyml-dbgsym_5.6-1_amd64.deb
 a85832fbbb61cedf8a0294c549a10b66 1772622 interpreters extra polyml_5.6-1_amd64.deb

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

iQIcBAEBCAAGBQJWp0v+AAoJEPNPCXROn13ZYDsQAOCM5EkCdlp+jb4TJY0jCA4O
a2D0awz+7vAYdJqdn/x+0rM1UfP3fvuOcEEHtfS8qY1ZKxwjCa0jCmDMXEJBhrkg
aRR85mtn6nDAIh9dFpoPBspJEGadYdA1Np2K5BFxjmnt3tFUYC2TIk74wdliMMBj
d0xlboldMKmB6jnksYXYqgJnFbe/7lIxXIg/joL2/smNXxtizLBAqgG9t0Qn8+vK
RVuyBt9UBsCXuaIum9nUHjdt2lCjjG0A6na3h3O5refob1uvcUmnot62QHfQ/QGJ
Hwof9Sndi3NagTPccROaks/oqeYgZWLOH6OjjxaYFdiC0uxa8AmmwOe3ssk6GZ9F
TJwCoXgNSUcDgcGfOskIyX0eu8WOa7JjIPv8odGEIvTRpr1eVoy9ytyWjoFDL7wX
91VMPibXeqLIonG0a/pO+SccIyHh3Borh02ta1lWuCy9eIkGxDhkV3x7h0PkzuOm
hPAonHBkq2Frj9HOGIXheRW7tLNOMWu3qIf7uyrpeU6UqYKNI1yTnJdBI9E2Od8g
idsAboJLQBKzfg4WID+gUazoqOHfO+5bqNLu3gVHRRqCZyNSs1NVm7vGH4+bn1ti
PEzSsP+U0kZm8geiwJ+CT337cpFjVlBegYujmcjhHOaDrX9VQMsjHPtWiWGFLKWb
4qgScC3B1wU9ep0gc43k
=ftKF
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.