-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 06 Jan 2017 13:58:55 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-8
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27@debian.org>
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-8) unstable; urgency=low
.
* Bump debhelper/compat to 10
* Run wrap-and-sort -ast
* debian/control: Use my @debian.org email address
* debian/copyright:
- Use my @debian.org email address
- Update my copyright to include 2017
* polyc-dont-capture-build-path.diff: New patch to not capture
-fdebug-prefix-map
* spelling-errors.diff: New patch
Checksums-Sha1:
a76a4cc81aa8d8d7ae8e3fc6b9ede9de54daa698 2113 polyml_5.6-8.dsc
d248ec69b2988f14d5f2352790c17481aa973102 33352 polyml_5.6-8.debian.tar.xz
Checksums-Sha256:
6c531154451952a844938771f79848ba5a331004ae31fe0306c1a8d283bb6ff3 2113 polyml_5.6-8.dsc
74c7dff7175e69e2f144748445e0dce5aa9f196666852bfdbff12297eb6dcbe2 33352 polyml_5.6-8.debian.tar.xz
Files:
b805934e24fa45e2c06fcde46b1ab1c7 2113 interpreters extra polyml_5.6-8.dsc
96a342edd395d78aec840d035e5e0d32 33352 interpreters extra polyml_5.6-8.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlhw7L4SHGpydGMyN0Bk
ZWJpYW4ub3JnAAoJELGTdwwYahx97c4P/3GqjPd8RaOiXVuHbb28JjNdBkoTfFYp
T/Ih5SCgDYetZJK1vP3Q861bdI7UCuS3vDG19tdehte2EAYq0kVf/1teTEF2fH37
Nb91UtR2KX3r36w+bgfYcd6UktOzWQPKbeiiZohYHY+QJ9SP7h42O5UQU6jGOQ9S
heMcEoPG7zM8Ct8I8I8VWGeaJUh7vK6xjiuZd/lOdLlKWSkIelzlHW+6Emv8e2P5
TqB3hLZNVU87htfOEdU4GCOGS/rmjtP8ps4P0ZR72R8N5ev3/ZC7euPasfQhcO7b
MEjQX/QPptEa8cVJM8OhtpdJSQr8aeSdfgOgJtdZ+fOusG8aWTCFX4F/omTVjIAG
YuTZpEziTBcp5Q3PW6w+SiekeuTx6EgnUqlWGs0vHHt5gf1iy0ny1YfDqEXKkiOC
MPXho6PHiHsCllnionhcTg9ooAJTiXDBg7Jumg1+iP5jTOgjOM84zV2ROsFVv+nI
dn1oHcKacJOMAkk1WFLfBfmg6KRWqg0qbIkkO7t8o9Q85g48l7V52Zkj0h/5Q01f
lJ8uiS5Sml24/VFlxuxsp5oYDD+RrxyVzHe/zHgHom6350Odjq0mChYV1DMGyLwM
kNyvfGjsDxT2yj5JZRWQQUIsrGcmJJXJpgV5xaIlehNN9Sr/QPY6I7Pa/0Lw2aCc
jBZkzR8ZWgK4
=PzAO
-----END PGP SIGNATURE-----
