Accepted dafny 1.9.7-1 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 05 Jun 2016 17:10:37 -0400
Source: dafny
Binary: dafny
Architecture: source all
Version: 1.9.7-1
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Changed-By: Benjamin Barenblat <bbaren@mit.edu>
Description:
dafny - programming language with program correctness verifier
Changes:
dafny (1.9.7-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
b2f2d5afb270ce8228d843e3535e0e165c4787dd 1571 dafny_1.9.7-1.dsc
08beec3da517d5bc56f93a5d69a0a558f5789175 6397056 dafny_1.9.7.orig.tar.gz
eb3ad62fc6aa68bc5ddf11ef077e0664e56f9d00 10520 dafny_1.9.7-1.debian.tar.xz
9757492f9596f470db657f0c624e22549a36cc37 858324 dafny_1.9.7-1_all.deb
Checksums-Sha256:
05bf1920242b5381747cb867ad038327e8d43e9fa4130b79836f20b7408d1da8 1571 dafny_1.9.7-1.dsc
bee7bac4aa5328b771193df1272e644b7c7afdad56ade15cd6a80c2a55d232d9 6397056 dafny_1.9.7.orig.tar.gz
f9b3f3d70fe00d39f3761a6b14c94f6eb3a11ace14adc894b095d01d30de0803 10520 dafny_1.9.7-1.debian.tar.xz
68bb9bf4f2793e35fe759487e4e415473a3534913eb9587308b2baeb04ebad58 858324 dafny_1.9.7-1_all.deb
Files:
9f11652f4cf365c822ab9f61e16a7ce5 1571 devel extra dafny_1.9.7-1.dsc
53393cf7c1c77e44609927231bd03f07 6397056 devel extra dafny_1.9.7.orig.tar.gz
93ca8d852eef4b5c525390a4b7ab7b8e 10520 devel extra dafny_1.9.7-1.debian.tar.xz
fa1021f6847d5f4dc12afd8d6525dc6d 858324 devel extra dafny_1.9.7-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQF8BAEBCgBmBQJXVJdLXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7TT4H/jlauTo/mr0RW0O+vGuIQ0zP
loFHkUt6iVGxrC0SJqKTBef1xHle3Kf+0g9HKu/zpBYskEGgwlpVWNm+UJWeaNhB
iW54S6MMuKi2Yl/ovt3Ovy02TW+x6SpxHlvWhxO0xCIK4xahFN/1tSRo5uM10rZW
Yb6s8QzFOCSrF2qYvEcDfc+czxOW82m8NKifLH6wzN1Mv8IlZjuojNTUuxMxGYHu
2WFv/58VCnsXT6wIxuip9mVDwDVhN6ymTIM6+eW2oL0jH36FznAbCjWSvHdT9J3U
RKjVX6aYPGY3dOaUX1H8x4f2G8b0Ul7YLRancWZJGQo1JW1T7fqwO1h/JlnoPkA=
=Emcm
-----END PGP SIGNATURE-----
Reply to: