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