Accepted polyml 5.7~20170221.git4c3ba45-1 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 21 Feb 2017 17:07:53 +0000
Source: polyml
Binary: polyml libpolyml-dev libpolyml7
Architecture: source
Version: 5.7~20170221.git4c3ba45-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~20170221.git4c3ba45-1) experimental; urgency=medium
.
* New upstream version 5.7~20170221.git4c3ba45
* Drop all patches; applied upstream
* debian/rules: Recompile the compiler itself, since git snapshots have
outdated pre-built import files.
Checksums-Sha1:
8a403c3d2ff7063aad251367cee4e193433d930f 2253 polyml_5.7~20170221.git4c3ba45-1.dsc
95c94d9b055f1286ccde53485d8a682bc3957c7e 7423678 polyml_5.7~20170221.git4c3ba45.orig.tar.gz
f33ab4cef1cb7e8059bdda9384606c0fd6291f95 13368 polyml_5.7~20170221.git4c3ba45-1.debian.tar.xz
e795de5c4d9d3d8a78f0fd0a734a44b31eb704dc 6159 polyml_5.7~20170221.git4c3ba45-1_amd64.buildinfo
Checksums-Sha256:
6d4d98820a19717a6092024808cd33d1bd1b465757a6c0c5b7e51cb0711beccd 2253 polyml_5.7~20170221.git4c3ba45-1.dsc
63ffc7e7100012ff31cbe609ae7cdb8f1c04e5f2c9eb2505fc91a7ea5d751e51 7423678 polyml_5.7~20170221.git4c3ba45.orig.tar.gz
c0dcee732b9b3b5f9d3fe7a512459b03a6ecc59873f75fd1467fabc2858f887d 13368 polyml_5.7~20170221.git4c3ba45-1.debian.tar.xz
38bef5ba774fc4ebac68b6b005c04a95a14eaa80d91855fc1e470a19463064b8 6159 polyml_5.7~20170221.git4c3ba45-1_amd64.buildinfo
Files:
fc05810556cc50cc8d5b3e73ef43dffe 2253 interpreters extra polyml_5.7~20170221.git4c3ba45-1.dsc
e45fa6bfdcdd9e4611e24de48e87fed5 7423678 interpreters extra polyml_5.7~20170221.git4c3ba45.orig.tar.gz
f9adfbd8a037c1121cb05be011a0acc9 13368 interpreters extra polyml_5.7~20170221.git4c3ba45-1.debian.tar.xz
c19f9c3a6184a1b4cbd1b3d588d9851d 6159 interpreters extra polyml_5.7~20170221.git4c3ba45-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAliseD4SHGpydGMyN0Bk
ZWJpYW4ub3JnAAoJELGTdwwYahx9CacQAI1LBFVa8T0wWamaTIeO2bn13Xcstsnt
t9280Fy+vG+5GJ7d9SKNEJ3dymx0pHKTc8x64FP5bTdxooNb9i2buRbKqI3mrAep
oE3v32rBSR3e4iZqWpqbuJn2cMgFi1yjDot7VZeeiGpzn0/seWuHJmwgFpM3FtkA
0YzNlhROWlVQDlHzM2oCAkjSHfHVLTuJZ1GpsWGGztrf6Eg/OQzgJCVt6jnhOCIP
YYnV3G3KjLiTf67rA6k1N2bWjq9s2JIOQ0XGvdMsvSneJmyfHTX3bHpR56l2RS2d
GGoLqnckH7+VHqk6+V3fGdhmLfPZXP1LrQRPv/stXQH+CI3j3L5CqgDSAfb8HgXR
X0kRuG6dnSU7rB3952baPXdYSZ7OKeAUuXyvXHJDW+kqzPe7b9Yb/h5sgynQ4xfk
oEOCmVOTaPD8jv7b9dxqGTsyRHRlQN94VnnmAXsRCYrdHRL941217BZikkhGdFLN
P35f9PEQlVj9CvObZDXQxJnyrH68EWwfxu+nJyBKX8ThNYj54dMaYdvMSPc+JJnk
KQ7973Or/qt+mJRdABly3KhoLfmZ11QgE8XpMoy5sNgRL6ymq4tGA1Y/S+UUa29G
UoOPZ3L9k9No2jdjx10Bo5zbf81OdIpoV4JTtw/xAc8fNfA+5ufXA1IcWi4o9Kms
bP3fsOKebblY
=thBQ
-----END PGP SIGNATURE-----