Accepted polyml 5.7~20170322.git096d446-1 (source amd64) into experimental, experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 23 Mar 2017 12:04:38 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml8
Architecture: source amd64
Version: 5.7~20170322.git096d446-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
libpolyml8 - runtime files for Poly/ML, a compiler for Standard ML
polyml - interpreter and interactive compiler for Standard ML
Changes:
polyml (5.7~20170322.git096d446-1) experimental; urgency=medium
.
* New upstream version 5.7~20170322.git096d446
* debian/rules: Revert recompiling the compiler itself, since git snapshots
now have up-to-date pre-built import files.
* Rename libpolyml7 to libpolyml8 to reflect upstream soname bump
Checksums-Sha1:
fad84bf7884e63ee7f72dfb69106768267713b86 2253 polyml_5.7~20170322.git096d446-1.dsc
660f558aa54fab13b881b5039f43ca2d17eb5ae2 7368191 polyml_5.7~20170322.git096d446.orig.tar.gz
d6ca9e40a9a3db9442dc5ec366267a43f2128b06 13500 polyml_5.7~20170322.git096d446-1.debian.tar.xz
4676b06e2cad681678a66242842b6c2abda6c133 213464 libpolyml-dev_5.7~20170322.git096d446-1_amd64.deb
bfd589f2741f39f2ba45c3b23e24bc2be8dbc51c 963462 libpolyml8-dbgsym_5.7~20170322.git096d446-1_amd64.deb
cbaad18e45e4a4df354e20149018a2f845a7dd60 660596 libpolyml8_5.7~20170322.git096d446-1_amd64.deb
4796c3fcd0297325f706d12ce6d4c6cf708b545a 5870 polyml-dbgsym_5.7~20170322.git096d446-1_amd64.deb
b274689149b549c57a78bcc39f59678ec1dfc9aa 7096 polyml_5.7~20170322.git096d446-1_amd64.buildinfo
23847106c6d927580e49eab14c1760c0891fee5a 2025626 polyml_5.7~20170322.git096d446-1_amd64.deb
Checksums-Sha256:
cb7d526c3b1a7658d445904baf4baa74639de74a00b4837c94ad4183794e0bc6 2253 polyml_5.7~20170322.git096d446-1.dsc
3d5b487c19a8b93946f878ef5006741746811dcf44145a8be099bf9edfc25a94 7368191 polyml_5.7~20170322.git096d446.orig.tar.gz
e7f9e4cfec6299e9e4c9530b4bf1d40d6b0f82b02df0e8afa237b21090e07f2e 13500 polyml_5.7~20170322.git096d446-1.debian.tar.xz
6f75e5e6af3d566d97635f340506cdb14245dc24551bf815f51b3f78a6ec1802 213464 libpolyml-dev_5.7~20170322.git096d446-1_amd64.deb
4ed35bf8501fd954f4f67dcf67ab2be469f14d073c8b27d21f46e1131fc2b42a 963462 libpolyml8-dbgsym_5.7~20170322.git096d446-1_amd64.deb
4734fe96d80f894315dddd250c7102bd07e68204941c15032733072e9e2be09d 660596 libpolyml8_5.7~20170322.git096d446-1_amd64.deb
2cedcfb6754c1ad2cd955b9bb7b11b851692310d2f53f8d63201f7d67b10aaf4 5870 polyml-dbgsym_5.7~20170322.git096d446-1_amd64.deb
6850c8c8859058b3abb5e406565c5540f153ef48dc772dffab194ff9e21e5d2c 7096 polyml_5.7~20170322.git096d446-1_amd64.buildinfo
4198e3b91c0161ea94e69292b56914d51e7586d5be8fa28398fe455a322555e2 2025626 polyml_5.7~20170322.git096d446-1_amd64.deb
Files:
8091a3ebd6c712720f21b8001195b42d 2253 interpreters extra polyml_5.7~20170322.git096d446-1.dsc
2ec6efdd35a04f12611a477a825f6020 7368191 interpreters extra polyml_5.7~20170322.git096d446.orig.tar.gz
50393528a14d58fc7feb6b601c687f40 13500 interpreters extra polyml_5.7~20170322.git096d446-1.debian.tar.xz
77ce199fa5cf05338ae4b7d5cac20dbd 213464 libdevel extra libpolyml-dev_5.7~20170322.git096d446-1_amd64.deb
9031196967273a368c3592b3f44414f7 963462 debug extra libpolyml8-dbgsym_5.7~20170322.git096d446-1_amd64.deb
2e0e0ecb1375b6cd8c0e819f8900a775 660596 libs extra libpolyml8_5.7~20170322.git096d446-1_amd64.deb
aba5d36e8a916018783d0293e88bfb22 5870 debug extra polyml-dbgsym_5.7~20170322.git096d446-1_amd64.deb
b6b3646fa33ad5e73b215fbdc471ec34 7096 interpreters extra polyml_5.7~20170322.git096d446-1_amd64.buildinfo
208a72fbeac0c7f5b76966bbac9926a1 2025626 interpreters extra polyml_5.7~20170322.git096d446-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAljTvIISHGpydGMyN0Bk
ZWJpYW4ub3JnAAoJELGTdwwYahx9HQEP/19PiFIZYNJPY8EkN+8+n+hULPEgDvDu
iktjBzYodf8WmuLHgSzu0k5iyliiuMd14usDQxGNOhZhngyTwbALTcr2gd74RHO3
wU970gtRBjgKr6144tCSHFUgzWbc7x0oWW+HTmN2VjU3bUTp34caNLGBnN1lSW0P
lh0iniKjgu+dM/bldV2ZcphYZq00TUjvbrfuut0yiC2gKq2nRaAlaLIwImEBvMxv
tsyoC+BH4NMtuuxcZrRWFT/oKc9ZFe0ks5ROrbmmHpMoTGozHKbT0OQksNUVBSUC
9hLbv9l02Yzx9qU+wx2uiYW5YJuvv2gjAAtlWP+HBPAP+KI+cyTMPovpL6zS8v6L
CdPWWGngF7225VS9oMB60jLoQizFvgw7u2tFZjsymsqeKWOyE/8g+GLIvKy6P1UU
tnE7XsOwxHBr7GGzyjSiAL2KH6DU8PfnHCJgyt8BNv6c2LWI9sUKQa+uEf9H3f/c
cnC4Rn4vE/DCBXnfYJgSKkd8TKkuWHX6B4C/iCZdbsd6+2UHemOC9GDK1ahrqzLM
R8OYhFmTogPgkrIFdOTXvnY/cZRFoqgqnC34hG6J0T5YfA+Hs1kqDmN0F50C6k15
oknTYejXsG1DyFhrYsSbIYJO2Fy2pWpVzjhyswmW7AAeG2gLtIFoKKtza36/jgJP
LyZ0waqTbbGI
=FISw
-----END PGP SIGNATURE-----