Accepted polyml 5.7.1~20171120.git44b7b88-1 (source amd64) into experimental, experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 20 Nov 2017 14:50:57 +0000
Source: polyml
Binary: polyml polyml-modules libpolyml-dev libpolyml9
Architecture: source amd64
Version: 5.7.1~20171120.git44b7b88-1
Distribution: experimental
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
Closes: 880023
Changes:
polyml (5.7.1~20171120.git44b7b88-1) experimental; urgency=medium
.
* New upstream version 5.7.1~20171120.git44b7b88
- Closes: #880023
* Rename libpolyml8 to libpolyml9 to reflect upstream soname bump
* Split modules out of libpolyml9 into new polyml-modules
* Drop all patches; fixed upstream
* Add new modules-non-executable.patch to make module files non-executable
Checksums-Sha1:
a434e99bbd355d9d0de807969ae86f236c855661 2295 polyml_5.7.1~20171120.git44b7b88-1.dsc
6e51029385b19f123b122b3e84fe26c3472312d5 7217783 polyml_5.7.1~20171120.git44b7b88.orig.tar.gz
8069a978bf7aebeb4185571bacc18a58232785f6 14548 polyml_5.7.1~20171120.git44b7b88-1.debian.tar.xz
b8ca8cbc7325a66c62d54bfc7e81a79ea71e9d27 221476 libpolyml-dev_5.7.1~20171120.git44b7b88-1_amd64.deb
9d4ab4f64abf4bb56a1922d0f31edaa7f3d2885c 983524 libpolyml9-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
c2b968fc2453739591ef0e495ef1dad88c933567 186044 libpolyml9_5.7.1~20171120.git44b7b88-1_amd64.deb
7c04db813d4d538a80a1e18e3c1b82f09c710eac 5924 polyml-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
20fe645baf26b79c9a60f9169223d04bf9a56d21 503128 polyml-modules_5.7.1~20171120.git44b7b88-1_amd64.deb
db473e4dde2e8ef6d94e9b00922b4f3cc94727a5 7387 polyml_5.7.1~20171120.git44b7b88-1_amd64.buildinfo
dc9f10ba0389abaab0c309b955920553edd31e22 1997048 polyml_5.7.1~20171120.git44b7b88-1_amd64.deb
Checksums-Sha256:
2c91d65c07b7dd7c4bd3515f188e275c2b6768f7a68ceadcf753a1b5bcdad156 2295 polyml_5.7.1~20171120.git44b7b88-1.dsc
e3ce6f06498a422a3f1d0afb85bf242aa5f666a15f6c9d1aeeaaff692aa5c232 7217783 polyml_5.7.1~20171120.git44b7b88.orig.tar.gz
f1690a7c377d14d3c064b244d4f9ae29e03ed65273c722d2e6eda32dcfbf65aa 14548 polyml_5.7.1~20171120.git44b7b88-1.debian.tar.xz
9a7e075551f248cab1bf5112a23092cc64c8f2281eba0d1532ea2a3346f78abc 221476 libpolyml-dev_5.7.1~20171120.git44b7b88-1_amd64.deb
17b451e21c884d0ad3320ce14bb2d647311e3df3032dd96581d5fcc9ee289d91 983524 libpolyml9-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
9eda35033dacaea17af4a20504048ee8123c2ca8edbf3c399320425ff661463c 186044 libpolyml9_5.7.1~20171120.git44b7b88-1_amd64.deb
8c70b8dadb225199921d3f0d4fac606774696cc7274b0afa032f9e7bd662cb22 5924 polyml-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
6c77b6fc13b4eb6bd74c9ab7bd0d5918a032b987de0e79e4cda821a3ccaaed8d 503128 polyml-modules_5.7.1~20171120.git44b7b88-1_amd64.deb
01cca87f6d09ef4f17fcdb27ee3088bdf328fb42be033f7be54d38b6f6672b7d 7387 polyml_5.7.1~20171120.git44b7b88-1_amd64.buildinfo
7e151a36f303d65521fcc7a2f00a6d50922bffd9a83b453ea6ae3e1c7804678a 1997048 polyml_5.7.1~20171120.git44b7b88-1_amd64.deb
Files:
74d9ce79914c6677f2a1352916fde2c0 2295 interpreters optional polyml_5.7.1~20171120.git44b7b88-1.dsc
3ddbb11e1b3302b8b0978fd37900bd1a 7217783 interpreters optional polyml_5.7.1~20171120.git44b7b88.orig.tar.gz
808c79312200aac0341c1b9148df1700 14548 interpreters optional polyml_5.7.1~20171120.git44b7b88-1.debian.tar.xz
5c6171d4040f47e5808cce2ace868dbc 221476 libdevel optional libpolyml-dev_5.7.1~20171120.git44b7b88-1_amd64.deb
3703f81c3cf2988f4fe9f8d825fc63a3 983524 debug optional libpolyml9-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
215977e2f98dabbf448288628af6f49a 186044 libs optional libpolyml9_5.7.1~20171120.git44b7b88-1_amd64.deb
1178778ebb00ae6dfd5091ad8da9fedb 5924 debug optional polyml-dbgsym_5.7.1~20171120.git44b7b88-1_amd64.deb
01d4e82e493b060f937f21b9d61d73e4 503128 libs optional polyml-modules_5.7.1~20171120.git44b7b88-1_amd64.deb
7d934e1aae9bbc73d6c27c903fa3dea7 7387 interpreters optional polyml_5.7.1~20171120.git44b7b88-1_amd64.buildinfo
30e043da298b3702d073ec7a839a2c79 1997048 interpreters optional polyml_5.7.1~20171120.git44b7b88-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAloS7QsACgkQsZN3DBhq
HH2Zqg//d+gUCj6YedFUFfyUC4UFa38FJRLIJDuedeSrPxSx6Ew76i0sZGh5Se89
6H+ZcE+nrhPetW805n35arn07JySds8BAUxsxLWn4PJ+s4NcI2brL1LrCj5THQfQ
pLhbVbz40L2dGrgIR6ntn+7W1hPg3iazlW3CQUrQcbawIiuLZ6EpbwRUArdnk4kW
Wcm3PJy5Tf6szy9+C6rNPsJdUj7WhcXzJLzNSNlWxXK8ZYmTPE1Gg4dgGvcu66dF
i3UYIs06SKh8GVcCrMNs2YAJKH5JfRr4bQuJr6WWX/DQ9M3/KL//rhAm12gmZJaO
N/xFMb/iw78taAtBg5teqJaYBYYola0VQ1QAaahjHJfjluViKVjC7qCWgCWB1zHq
TcZmsLoXYU5NZQqVnrSJOlWXDM99xaK8NuFmGxjMrsD5G8o1hOc22653wVaOEImh
4yrL2NPnGYQhYdsO9su7yTcZae19iYhjc3NPhUg2yPkIBxi77yW/UWAsLUgY8iIN
uAgMKMgZEsBf87zVlFL48j6A5tJWFvnZcAkUoubnN3Ndxr6Zol88wovC9DDSZTvw
06dYx9gm2Y91UqgdVgsxXSt/8cnCQ1oI7hqENf2oIzVfUC6rfX8bTEcCqSCuAVix
4hDbFzeM8bB4qWQKKCzuf0/koNpYLXsYFiskKwfpotI5xiTNUV0=
=nuFH
-----END PGP SIGNATURE-----