Accepted polyml 5.6-7 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 26 Apr 2016 11:21:46 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.6-7
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-7) unstable; urgency=low
.
* Make poly depend on g++, not gcc, as CXX is used by polyc, not CC. Fixes
the upstream-polyc autopkgtest failure.
Checksums-Sha1:
49d464b5ab51bca3c5cbf71385bc1fe67b6151f3 2053 polyml_5.6-7.dsc
3e57f59378d8e44bbb9470a4e9da9eaf4d77e237 32532 polyml_5.6-7.debian.tar.xz
Checksums-Sha256:
0fd238704764f8779317cedf79b073b93aadad4b3c614fbbbecdc1ba47b7c8a9 2053 polyml_5.6-7.dsc
f625d2e134b1034134b17429860c85f38d20f4a8b4c5641fbec604bfebb481a4 32532 polyml_5.6-7.debian.tar.xz
Files:
ff6693fb30e485e576edb6f679ee98b1 2053 interpreters extra polyml_5.6-7.dsc
0b916d0291b3e4316000fb9e6605de36 32532 interpreters extra polyml_5.6-7.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCgAGBQJXH0M8AAoJELGTdwwYahx9Te4QAIygdorBZXKeixx5pKe707fu
Vrorjk2LM1p4giwXu2fuRyn1kbOebJPeZ8nWwoFgpTSdj0TM8i5E+7qfwTiczHln
e/OtIhpu2J1RhDL3EY8cJYGHgBTZ4pQaBdij9q+xS/o9/6Sa5dmb65mDL/iti2HI
LgsghP5TtOvgwD8uJjo8uFO0lhcbU6aAD73wqEz4hw9wtVBASJzaBWygX+Mn+Kr9
hu7/AZArqJQvgPGwd8ULEflTY3yFR50A9w2mT4cWVJboUaRxUm35YoQQ6b9O1FWt
GEEMdkOuJ1vg8AkjnXWLA+dAXAKPUm4vK+8mcaExIwr1VVfawx/m0kKorl0u6VNB
JjN2k8rQBKEO3TTR7ueBqQokrW1JJcF71nN2Qf8y7fsMhv0I8YmmTigzN3dzTF4L
IArPffpZ5Qn5IUKELsuXPEBodYHUvzDn8jekTlp2qdpRmXrRUuWscgg0BcIMEonK
f3Vk8KE69dsBCM3ELx3V8I/rLrqlWV9RZrQU0bp/6K2Jse+VW96OX1NAvdDUV91I
bMrr9IHuS5Xngy/wXsQ2z891eGbym8qA8l9m+Vn9yF0pcSYIDnkEMmYW4dKquih0
DAZ5ZgQWNA0YoWuN5RqYqM2qKOsAcz7aL2/7aMJwK7gyup0UGiteYr2af878pUOY
+I2A4mD+cOEYk4kyb4N4
=8SgI
-----END PGP SIGNATURE-----