-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 08 Dec 2017 16:43:55 +0000 Source: polyml Binary: polyml polyml-modules libpolyml-dev libpolyml9 Architecture: source Version: 5.7.1-1 Distribution: unstable Urgency: medium 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 libpolyml9 - runtime files for Poly/ML, a compiler for Standard ML polyml - interpreter and interactive compiler for Standard ML polyml-modules - modules for Poly/ML, a compiler for Standard ML Changes: polyml (5.7.1-1) unstable; urgency=medium . * New upstream version 5.7.1 * Bump standards version to 4.1.2, no changes needed * Delete unused Test166-deadlock.patch from packaging Checksums-Sha1: c3a8c4b2c8696b71842a0d9b40456b43d2fb963c 2155 polyml_5.7.1-1.dsc b25a9fa7bf3335c340585f96860f8b2258e12725 7278435 polyml_5.7.1.orig.tar.gz 5ae02c5f564802fe0ea6d9b02a4c641aecdd4e55 14028 polyml_5.7.1-1.debian.tar.xz 99f8ed402ff8f319135ea9781765d12cd69dc2db 6927 polyml_5.7.1-1_amd64.buildinfo Checksums-Sha256: 8151b978e8575ac270ff73d5e568c96506dd74a6cdb24ff79fae95e9763abe6b 2155 polyml_5.7.1-1.dsc bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz c6187bfa6637355a3a3022587e179d3bfe76cc0e01a768018b225091564237c4 14028 polyml_5.7.1-1.debian.tar.xz b86bb1287df6a4fd73fd24d199860646515cc48a01a8750aecd113a4ce0891e4 6927 polyml_5.7.1-1_amd64.buildinfo Files: deb2f634540652b263e9102ce2021afb 2155 interpreters optional polyml_5.7.1-1.dsc b65bfc025078a7dd8afe70e39778620c 7278435 interpreters optional polyml_5.7.1.orig.tar.gz f70ebf5d3cde4a9ce835155ef5cdf93d 14028 interpreters optional polyml_5.7.1-1.debian.tar.xz 4d57bd0b7e9097763e23f53cde03a7e7 6927 interpreters optional polyml_5.7.1-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAloqwkYACgkQsZN3DBhq HH2llA/7BLztVrPsmIVChplPggVjAQRZZvE4rYHyeup1W1gN+mzvGjLPat5rK5Ud hTjMQrItVwUBx1soUT96fNNkJkpKzkHNI8ZdU+BBj+XHaPBquZa1gi9y1aLGb3tU Kbyk+pElXo043bREU4XRvNf3PTlYtwCSjVDAIuq3+ADb5JBK/fi6mwzuSmEu9RSy 3HHjA/vxtpA27Ok8wWywPl/mXWqLVNue1IIaSG6B9lbhUfiQUaPTOe0W2Y9333PJ Lt3NuN0V02Y66p7elA6rZ0Aydw/M/SlssGvKwEWu2yHxFhwjfdwbepil++Djr32T YbWS4sExogy63N4+KVp81svq6QR3sJi3suCKFMW9CD4lyT/+FjH+XXLgn1CNoLic QN4kU1mq2AAkE0NWdQBe6u8qCzXRxdsjs4tNOszFlfTixsyUdrTLkGmJKhgpLGuw KHva5r+DdPyXpZtAGEbsQSgeQKfarmAlsJOFu9zvXb4cb6Drr+rvEzp/7iG4JqWx c20xF1tMLQxYS8jpWtX+0kQb/t3+Fhn83MN8GJLhVqjRqZVFNgYnNJWGLqEkF8EJ PWq+LGeNOVxYZW9fGIc20h6tpYNXIw/WOK8/XPIuRsHbTVmrmDy4hyFy0C+pomER uYC9ePQtIblugy7RqcMDUMNsCU7OBxtGgYQU/YYDDgHd2PfTqMg= =WpLz -----END PGP SIGNATURE-----
