Accepted polyml 5.6-4 (source) into unstable
-----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-----