-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: dafny
Binary: dafny
Architecture: all
Version: 1.9.7-1
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: cli-common-dev (>= 0.8), libboogie-cil, mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0
Package-List:
 dafny deb devel extra arch=all
Checksums-Sha1:
 08beec3da517d5bc56f93a5d69a0a558f5789175 6397056 dafny_1.9.7.orig.tar.gz
 eb3ad62fc6aa68bc5ddf11ef077e0664e56f9d00 10520 dafny_1.9.7-1.debian.tar.xz
Checksums-Sha256:
 bee7bac4aa5328b771193df1272e644b7c7afdad56ade15cd6a80c2a55d232d9 6397056 dafny_1.9.7.orig.tar.gz
 f9b3f3d70fe00d39f3761a6b14c94f6eb3a11ace14adc894b095d01d30de0803 10520 dafny_1.9.7-1.debian.tar.xz
Files:
 53393cf7c1c77e44609927231bd03f07 6397056 dafny_1.9.7.orig.tar.gz
 93ca8d852eef4b5c525390a4b7ab7b8e 10520 dafny_1.9.7-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQF8BAEBCgBmBQJXVJdLXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7DBgH/i+Q+FPwFBIQhG6oAaVi5QtL
SB9qfU2U+7X18dJaIX4eZV5iv2AWc/KSjE8WEpoHQIh1jMj6AtsF2+ZXzk1BUBXd
AqXSBT6IVyjnRPTNUBkCzVzVaNJaIT1klgrABp/YNAXe/g+U5SsoguZ0QWlH4X4x
/qwROAnLdjUVZyEMm4QatSDzGlfn+Bj3ayk5UE5DttTn5f1uv6B+dUHw9rvWe/fT
00luK/MdwAVCFmy+IMIWavfD/xI5hlAby9pCs29QR/9Am9L7c1q4tJkXDE1i+LOn
7o060O6AHxMO6XD8XLQVrhPzLm8oaXnH5XIQ/VMQswK5pSjhlL2nzvc4JTKotZc=
=yLkz
-----END PGP SIGNATURE-----