-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 24 Jan 2016 13:45:16 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml6
Architecture: source
Version: 5.5.2-4
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
libpolyml6 - runtime files for Poly/ML, a compiler for Standard ML
polyml - interpreter and interactive compiler for Standard ML
Changes:
polyml (5.5.2-4) unstable; urgency=low
.
* Take over as uploader
* New patches:
- make-check.diff: Backport upstream's fix so 'make check' runs the
regression test suite
- mips.diff: Backport upstream's support for mips
- mipsel.diff: Backport upstream's support for mipsel
- pexport-endian.diff: Backport upstream's fix for big-endian
architectures
- ppc64.diff: Backport upstream's support for ppc64 and ppc64el
Checksums-Sha1:
2c5962ec7226ab78fb09ff29c793b7e4e698988c 2058 polyml_5.5.2-4.dsc
9c3b4f3e609997488930d7d10412d53584153450 13676 polyml_5.5.2-4.debian.tar.xz
Checksums-Sha256:
e48041e02d6b2d8b17f37e7f64886021a9a79a8739ecc4d48ce99c60b31447e1 2058 polyml_5.5.2-4.dsc
4b7c3e5d298348bc2867303cf495ff23ab6fc11124b08b2f15d8c1e41abb73c9 13676 polyml_5.5.2-4.debian.tar.xz
Files:
d9b91a5ebdad99fae5f4d6451f025459 2058 interpreters extra polyml_5.5.2-4.dsc
b004676483f88189884ba5bc5bc72b38 13676 interpreters extra polyml_5.5.2-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWpSb7AAoJEPNPCXROn13ZeIgQAIBBOUYNoHsEcaNb1mwThOAp
qw07OGw80e1eG8ZpxOWU7Tv8LkVqBcDItcwRi4pHzBpwqiJxeD4V7xCARHMskc0o
KWzQT3q4OcyKbRlfrkA/NRRVBGR0nw/hEBKKKsUdrD9BkF8EuCGaWXX35MAL/oSc
4TEuYRNZtfVzTT2Hde5P5zKYrO0NUO7eZGBJnEcGGh9vv1jAWxzT+b+WhBkXN/g/
JYpEL/VzpRYCEPgteOQNT78FXPBi3hmF3PjWALcdQX4aKMXbCcAdrUP9wiXLX7tX
JYpJHwnhH2jbMXShJMNFBmEOphkDEgAv2hOUwXcNxp+1uvMx3yURQ8CuF/H29pr4
X4MMOZ3rRlFfyAe7jtHq6ORlQM/USQKyYRv7Wq2v4DC9of5Xx31Zp4nvDH2gocjo
I2KWD7vNHCkXTKcy2ezm14eLWw7X7XSUnddDQSzIDT96mNH+b6YWOFBC4/VUyhDH
d5d3eqvH24XzxMW1xGkUw/j2tS/DWIY7I5f1Q8f65Cnif9/GOQpOa0wnwgfGWmab
w0ialSnW2WDkiMJ9TP+/lC87NarSEd8JCpAUr+eiw2WBNy7nsAyPV/jWsHiMCTa7
dkXrPl4y8P+AE018itXcEP/ZreU6Z9aAssJNax1u9VGfUONBcB4azgM3YOIuzblf
Ja6Iuh+X0ILUk8YSaY9q
=Vc5l
-----END PGP SIGNATURE-----
