-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 18 Aug 2017 23:57:36 +0100
Source: polyml
Binary: polyml libpolyml-dev libpolyml8
Architecture: source
Version: 5.7-1
Distribution: unstable
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-1) unstable; urgency=medium
.
* Update uscan pattern to match 5.7 filename
* New upstream version 5.7
* Test166-deadlock.patch: Backport upstream fix for Test166 deadlocking
* Bumped standards version to 4.0.1
- Changed priority to optional
Checksums-Sha1:
7178d837b7611c94b279ee2cadcb643bbb4c9929 2097 polyml_5.7-1.dsc
1de8f4f2a248b1e18cd4581960d3a73d98525ba6 7367924 polyml_5.7.orig.tar.gz
6f8573f0afc796f1efa7c12df629faf14efa6492 14148 polyml_5.7-1.debian.tar.xz
816e9372e1f46e369e4078c837233a7dfe5eec8a 6500 polyml_5.7-1_amd64.buildinfo
Checksums-Sha256:
eadd48a3204e0f09133e326546e056b9f7970a9c6fb52c719ab5238bcbfc74ce 2097 polyml_5.7-1.dsc
19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279 7367924 polyml_5.7.orig.tar.gz
c60f991ef4888e8b668ca491c9a62efee1ee1e40611179ea0eadbaeb79e14c6a 14148 polyml_5.7-1.debian.tar.xz
6740fd9f27b1d2eae262f0fab72d7ac9bec2d01bbc3dc87c037414b77032d9fa 6500 polyml_5.7-1_amd64.buildinfo
Files:
b15d037e576ab6fd0be907610fb980db 2097 interpreters optional polyml_5.7-1.dsc
56c3b06ce6cab785043812185e9b280b 7367924 interpreters optional polyml_5.7.orig.tar.gz
f9bf7b8179e3f8c92bcdd6209aa152bd 14148 interpreters optional polyml_5.7-1.debian.tar.xz
27d6393fdc69197693f25dfc35c62748 6500 interpreters optional polyml_5.7-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlmXcakACgkQsZN3DBhq
HH1Sew//XiQs0U0GzDbHmEcl4M3YJYQDJTSIQJ8H9j64CFyqtwFxwzDfu8NbT77h
NmrlKjuU+e7cnWlUnrzbZ9dQVW+sGI+oC64pZ4n66CaOQJzM74HoC+HAArd0neMf
xl5G9XrqNQXcqlf06DkPZvOI/CSkwSds/vrzNtTF2oY6ht1RJYH/yFX0kwOXg+gk
2+QpelSwYfPVoJYY7zvWH7nQ0RQ3BE34GPrfv6bEXs0v0ua1v/NGoeG1946+fktY
I/QX27yhWCm7ZdRFhsc5a4T4T/D0kT6QyjHi4XzI/nbeLTEwgtAmHsDV9oKnpWOs
ZGk1LjYByaFPTQNgQZ0Z0rn/lKfPq7aRimywnjlXIQ2WbJnzxcwyd4F/mDOu4lt3
218KKUF6iEHZkseHnPn/4g4RvxFIt3DfPrCLcvEqgg0Bh+QIldgqH1QTCYxrtUWG
yGlYVKenApJR2xx8x/nYE4EzgZZz91YsuCcOYbzNhtrX+JjNedNd1fIx4R8D8YW5
MEYQ4nccHNqPjzL6X+KJyeAMlwSAiuPv8hobymAdlh3RbPCD3v/45j8sLuff01BT
V+UF781UogvUqPDCNXs7yrrtU1akfsIT8602hAp+OJtAyP4HjuRau0VwxYC4NfMm
dm2cyKd2al7K2m1TYHIsI7cLsSJt1NIL6Povc22Z4Ayw+fy50Y0=
=NrZM
-----END PGP SIGNATURE-----
