-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Mar 2017 17:08:56 +0000 Source: polyml Binary: polyml libpolyml-dev libpolyml7 Architecture: source Version: 5.7~20170315.git1343f60-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 libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML polyml - interpreter and interactive compiler for Standard ML Changes: polyml (5.7~20170315.git1343f60-1) experimental; urgency=medium . * New upstream version 5.7~20170315.git1343f60 * Drop all patches; fixed upstream * Include IntInfAsInt module in libpolyml7 Checksums-Sha1: 728bc2bf1bc23ad929d6fbe5e8d67922433f0f94 2253 polyml_5.7~20170315.git1343f60-1.dsc 353adbd45ac40787ce234fd175e201a10fc2df16 7425037 polyml_5.7~20170315.git1343f60.orig.tar.gz 348bb9ee8abd33da971b5377f5afc0a10e749870 13480 polyml_5.7~20170315.git1343f60-1.debian.tar.xz dccbbaeef0d423e0a0ac9d7677ddf8065be130cd 7096 polyml_5.7~20170315.git1343f60-1_amd64.buildinfo Checksums-Sha256: d69ec875dd209aede6267bc13e5855f5c6b64f37997c18bb048fe5671f59f6c2 2253 polyml_5.7~20170315.git1343f60-1.dsc 973e5571ee3303e269109871aa843e71749151c9ef7d9cd6581a1959e49ac9bb 7425037 polyml_5.7~20170315.git1343f60.orig.tar.gz d75d51d1089be7664ce4e0f8cfbc7e5d08c0e02074f99c091bc31f0654b113cf 13480 polyml_5.7~20170315.git1343f60-1.debian.tar.xz ef3d51cd4f7642c430773b85578cbed418c4fcad4035447e1ab5bb28f0b32747 7096 polyml_5.7~20170315.git1343f60-1_amd64.buildinfo Files: c9678b0a490edbd15f464d425818d27b 2253 interpreters extra polyml_5.7~20170315.git1343f60-1.dsc 3f54a3a5b299e02c960d41eebddd5a1b 7425037 interpreters extra polyml_5.7~20170315.git1343f60.orig.tar.gz a1b5b3ca276485899d57571c862eb0fb 13480 interpreters extra polyml_5.7~20170315.git1343f60-1.debian.tar.xz f3f62d74f518e8df0876fdc04690d51a 7096 interpreters extra polyml_5.7~20170315.git1343f60-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAljQD4cSHGpydGMyN0Bk ZWJpYW4ub3JnAAoJELGTdwwYahx9P/kP/jKWfWLdxc4rpU/pKCkAPSgYvq01GLDh e8PCogY4M3cZGE2n00kIz006Nvo5OGco0QdmYMPT1ZhOGTNjzJwCKSvAhhoPcgf/ N7lt+5+U5el23xjfLWiJ2vpP0kJqCF+Slab24edgVt49V3E7oLCxzm1ys7WsrJB6 baePQoX8CFTnaiHDbEUoTAXIRJ1ZQdJc+P+zJbQL5RXyNdLTVJxRxh3fNkzntmRY X36LM2t6uzc5tx3YHCvGR/T/ejOx8MX2SrzzPcP0SCVPMkSqcOqKDyDBMdLEKMPj R72rqR8/6Q7ZUFkSjb2AhmYHrqXYP2xBqLyOeLdPDhsjEa0R8hNOEkOQAqKMuFwg An1RRWXZRYWjQw2/awCorIzl3zbGFWzVzfWLZjlzgxSmbCgcaovmKcaMBVvlTaFh HMkkKKyJv8igV738Sw7uqaVFz41daQd6BB2ijo30tC50S5DjdfDw7K0rj6Xt/F0Z uxoxHsadjfavSnfijS09Kxabi1c1ErNXvtMNtqXbjQbKJW1uSdvlhzgYWLyc38aI 6uQHK5U4G0gcicKmf+w9+Ac2krlORFR/RnIcUYLu11OGBq7UfsQqH8LoGWLWdODh metL2PxIs3JrBlEAH9dmgAMUdiskR8y78wDqxClTijEcHMDUf+LxtjZqUCdHVqOD 9aKRf0omYzhW =RAkh -----END PGP SIGNATURE-----