Accepted dafny 1.9.5-1 (source all) into unstable, unstable
-----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-----