-----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@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-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-----
