Back to polyml PTS page

Accepted polyml 5.7~20170315.git1343f60-1 (source) into experimental



-----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-----