-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 06 Apr 2016 16:48:37 -0400 Source: dafny Binary: dafny Architecture: source all Version: 1.9.5-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.5-1) unstable; urgency=medium . * Initial release. Checksums-Sha1: 4b9c87770ad018c6cdbaea4f735843227a74637e 1801 dafny_1.9.5-1.dsc 4527c379e8097e8e91a95f435e2b0727b19cc2a9 3495631 dafny_1.9.5.orig.tar.gz 7123132feaf3ec4358b3aa93fa4ef39806adcf29 9664 dafny_1.9.5-1.debian.tar.xz c5327dfc5004acad54a60f0e5212eaf06a304843 805098 dafny_1.9.5-1_all.deb Checksums-Sha256: cb0fedc24d6e5dcb520890efda576bd0b712156271054e1dcea12a442b3b64fe 1801 dafny_1.9.5-1.dsc ddfcee9c5e1312504616212a4d4b622c66f1fdf705ee3a372e47fbf5f53dda75 3495631 dafny_1.9.5.orig.tar.gz d4f317ad86c19b27d0994db2041319d152bcaca528d4df06d4606d4edb551e9a 9664 dafny_1.9.5-1.debian.tar.xz bdf5189ab3e1e3b9dc133e97152c55e073af90cb2cdfe7e97f0e82f879c49678 805098 dafny_1.9.5-1_all.deb Files: 51bbc624a0a1b5a9237f094043902b4f 1801 devel extra dafny_1.9.5-1.dsc 982b185d32faa174a64765dae173e740 3495631 devel extra dafny_1.9.5.orig.tar.gz ea21f861df93640272831e7eaa299ab2 9664 devel extra dafny_1.9.5-1.debian.tar.xz ba5730e181c1b80c289aa409ac45d74f 805098 devel extra dafny_1.9.5-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXBcueAAoJELvHVt2+WV9rBuEQAIA3HDYFKaYjhJLTuD9sa5eC O3uOvxRJBz8nXkOnHkaKbIzLTFlo4oSi6VsIE/SMonkIm+pUR1YCnGcIbylomnc5 pb5+weAaljbBI7O+nGgkVMx/lojkm5kRpLzbHiucRB7Nqp8IL6p+LRPqAdwXECoq CApPaeSr2OztSOcB8MKOTECAqrPUCkL+0FK798oaXjXOCT1DwwwcsGJmU2dgDwca LYl1xxZ4tiIhlWWTMXvP8QFds1AIHWekpll/bJm1D62sFdr9DrEl2fu2Gy9B8AMy OBvBx+hGThaoOwQUyj/G5tksvlEFT4dDLPgdJLCmT1sysYMjR/DuI9yO+Zv5oS/k kYEvkH88wceDLFX5sxvCQ+AAoLpF7DuQR1ABnZ/woOUnxYV74EWLdGlUue3kd2e7 6/soBub60FfrVCqPiaSFx3GxsfdS8FLw7WM0zqzgRCRa60JpKKEhweAJZPjQu/6t aLcOiVsdkFCHygoVNBq8Uk7EO3KVgXQoznNBAvPgWxwHE5kqSMZjEeo5U50bbYLn 6AA2eYduBczXuoyo1seZMB7WLqoluPiehkTpk6ZNsvnjDJmqLPThlluHHSloTOu5 1X9RH0C5W9KphaD/UOHZhN9/P23GBoCAB5uj/av8Uy7ZPhXfkQUqpVujVxjaANpb mwbfYOvyAmjfwpZlVGhM =L9p5 -----END PGP SIGNATURE-----
