-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 06 Apr 2016 21:21:16 +0100 Source: polyml Binary: polyml libpolyml-dev libpolyml7 Architecture: source Version: 5.6-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 libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML polyml - interpreter and interactive compiler for Standard ML Changes: polyml (5.6-4) unstable; urgency=low . * New patches: - hppa.diff: Add support for hppa - maxhostnamelen.diff: Remove all use of MAXHOSTNAMELEN - request-completed-volatile-barrier.diff: Make MainThreadRequest completed field volatile (fixes test suite deadlock on hppa) - sh.diff: Add support for sh4 - sparc64.diff: Add support for sparc64 Checksums-Sha1: 9f942387c4aba78cf27433b7a9cd89f08b8ea13d 2030 polyml_5.6-4.dsc dfa26c03330edb9483f145c938e00cf609752c8e 30320 polyml_5.6-4.debian.tar.xz Checksums-Sha256: 359e26f0699f0d4358b4174d95d31a581096ba9248d4c6a13cd7733dabba4c01 2030 polyml_5.6-4.dsc e403734e7d053248d1fb437a4e9a6fa159f5e7950ad5826cfd1fa7d406300849 30320 polyml_5.6-4.debian.tar.xz Files: 9093660c961538c3ff86fa3dc873abe5 2030 interpreters extra polyml_5.6-4.dsc de674df8aa153cc895a3a927ea586525 30320 interpreters extra polyml_5.6-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCgAGBQJXBXGSAAoJELGTdwwYahx9Ui4P/3p/SMMMO8M7ivOf5nh06ICP fhDZ8+LaXpTpdmAJKf7G+3iwrQ0hBZGAYd2z3i3QEhMm7chLc+el80L8RU1LGi1a uB5pUCAs3cxadKHe80TKdVfCklHFj5/hMv7Sv1b9M8ciYj0M1qJpuKfe1SUAPUMH Rze2KdPI6Hryv+pEpZvQQ2UU377iHifSk2BCIcWcHIPgeObPwu+Z0at1r6p5+Xjh Vk9wJ+NXLQvF12XHpqQDwFlWqqb7oc0E+v2hXLyAvS8kQC0ak8zGYfotkCovlA4c FI/MhKQMzUgbJPCgI2mQ6PkfB0gSH7NZRn0C6Gv8qF437HMaXfu9h2YACxLu0TXV eprHAj954skm4ASRhbDhKjoIASN+bbj3pt4LnwtOkk47fehJxc1zCQ5JJ/KhOqHw XwtS90auKGbF3lmUiJZ/uC/e2JYbVt/kD6NJmukzMIwWlQxdk1FsCiBDeO6jHom6 AwSNrPoJTHMq8cQ2El+QTdettiHGWNnaP8rCZObUXIEwk9mELXMvJPCjAGE6Zw5A +eX6BMK04drL0i6WQnfGauFsfhbFb4rPzFYz+odBq3AafqwrUzzxD++etJ91b38N xlQDgnwq/LgBsFzZHiC4zlCvpQq9m4JBIGDa9HnDYR04hqH7xkyMccT9h1Tghk8H kL7gnL3B8SlqJbwdBscM =X0J5 -----END PGP SIGNATURE-----