-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 20 Oct 2015 22:37:47 +0100 Source: polyml Binary: polyml libpolyml-dev libpolyml6 Architecture: source Version: 5.5.2-3 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 libpolyml6 - runtime files for Poly/ML, a compiler for Standard ML polyml - interpreter and interactive compiler for Standard ML Closes: 802341 Changes: polyml (5.5.2-3) unstable; urgency=low . * Team upload. * Backport upstream's arm64 support (Closes: #802341) * Added file dependency (required by polyc) Checksums-Sha1: e2ebc98ca04cec3ff6f62c17d9dc56f6d0e8730d 2108 polyml_5.5.2-3.dsc 68264ae4caadbf6cc1d9a90c47b34e1d1ad0a61e 5458111 polyml_5.5.2.orig.tar.gz 32fe1a69a76d928d4607334e0d76be4b4eac357a 12252 polyml_5.5.2-3.debian.tar.xz Checksums-Sha256: 68637c7e50678ce33fb839703140f60fb9a01c35b4a6adca52525df1125dffcb 2108 polyml_5.5.2-3.dsc 1a87e5b014f1568c624e1d414ddf928b2f30fb4b1c44e5816fc6fe16a3674a6b 5458111 polyml_5.5.2.orig.tar.gz 488a3fd89555926f7641c8d0bc11cd5a6bbe6873c0880b20da77530af44b0a6b 12252 polyml_5.5.2-3.debian.tar.xz Files: e832b5351706c948c3b1d6d820b42c24 2108 interpreters extra polyml_5.5.2-3.dsc 251ae87b8c0d383b3d38c2589a2bf659 5458111 interpreters extra polyml_5.5.2.orig.tar.gz 658fd5bf4714757709a792fcd8b6a8a6 12252 interpreters extra polyml_5.5.2-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWKP9AAAoJEPNPCXROn13Z/fsQANa9q7aVBg5nSFN7Rd1awAiT e2W1+KhhZUwmLkGy60W3KUGncRlhLMj7cG243n+0FdhFhF6P1m2iif1Cb5FhBNn/ b0Hr+5JEvUSHUcy8xZRg5vVqcr8obBrHccOe2FzRrtZZ12Ar9JME+CkL2wGi4AiK EcnOHgm67K6DnvxedWeLWkxXPmNXw0z57AN8+NGWbPWfgHrJpyIjgBMlZjV4Lf9W 4/hawx0ftoLyZeiCEN2Ylw5n50zmvsjb5KXMTXX6/UE8WMncDI9J3eFVTRLMlISK +w+eDUyCiRYv+P2oinT0JJ/42xlVS1zpnK7jdKHcCJ/iC1R037PWrptmZo+UkHVG bg5HuA09R9pW7oroVtVG7ASZqo+Nl3YP4yPcAq3x7ULEgwhjSXQJ0PcFmxAum4Sl PHVjbxbDZdKkfnCDevCZCogEFVDFzfC/ZjSv5YYbywce7GorzjjC8+9z4cCvH2DH rBNqby7BhcorNeYnQLVb6JevvpPbWKdjd5pt4IUJwtf08BpMigB7QlO6ZjZJnVE8 d1G5xgipeQc/9kIq0Siy1MOLirAyTedmim+6Wtt26JbAWY1VR3enrwcqJIbh2t2g /Fru8G6HrDtE9b/BM6u39FNMi23HLomgy+pRQKFQEF+20GFmv6HITNUN022SyHmN Va4jEScYe0bR6hEWuKNG =jenG -----END PGP SIGNATURE-----
