Accepted spin 6.4.5+dfsg-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 24 Apr 2017 07:59:27 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.5+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Tom Lee <debian@tomlee.co>
Changed-By: tony mancill <tmancill@debian.org>
Description:
spin - formal software verification tool
Closes: 861021
Changes:
spin (6.4.5+dfsg-2) unstable; urgency=medium
.
* Declare Breaks with staden (<< 2.0.0+b11) (Closes: #861021)
Checksums-Sha1:
ca0b98f7f0abbf4c9c17322c011850992c967c76 1868 spin_6.4.5+dfsg-2.dsc
9949b507b4b4c3177627d810074e38e3529cb719 4000 spin_6.4.5+dfsg-2.debian.tar.xz
d4e037a205211b8a08018fc483963ff5fc6c4395 349830 spin-dbgsym_6.4.5+dfsg-2_amd64.deb
53990b29c71fdb9803fdb4ba61d24dc759eb6abf 5701 spin_6.4.5+dfsg-2_amd64.buildinfo
5e6edf3a84fbc59f695bb49f7ca6cf23ed396e46 556278 spin_6.4.5+dfsg-2_amd64.deb
Checksums-Sha256:
b3dfa4c89e5c5b805cece0d55e53f86b5af85662b1f333f6cb3369f5d951afb9 1868 spin_6.4.5+dfsg-2.dsc
777c9df36be6f32aab29c066d0691a517f8c6f1f8afc1188fe804361d7ff93ae 4000 spin_6.4.5+dfsg-2.debian.tar.xz
330f4f5a0993a9b4a918eec5a9b8c52268c273f32e028df33e6df1bdccaad8fe 349830 spin-dbgsym_6.4.5+dfsg-2_amd64.deb
c2a38d66a4eb41f848037a68c317c1830f4f4e61ef3ce1be5355c073538b29d2 5701 spin_6.4.5+dfsg-2_amd64.buildinfo
bb55833563e01cb42bc5f01a348b4b54ee585d56223db73d96886d2634437cfc 556278 spin_6.4.5+dfsg-2_amd64.deb
Files:
ae5898494691fb914da5a4370f3000c6 1868 devel optional spin_6.4.5+dfsg-2.dsc
25512acb85a9d3ff6d8411cddc498a20 4000 devel optional spin_6.4.5+dfsg-2.debian.tar.xz
d1725cc7929f7ea93db8df3e1d6f6695 349830 debug extra spin-dbgsym_6.4.5+dfsg-2_amd64.deb
59200344cee6624aa20897736d4b67a7 5701 devel optional spin_6.4.5+dfsg-2_amd64.buildinfo
264f4b13ac432300e134521aab47fb8a 556278 devel optional spin_6.4.5+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAlj+wfcUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpbnXxAAs5FtfS64YvLTXp9ypAkD2Isfk853
dV+aX9ZqBcytP1EX1BJGfFo766587R00h3CF3Xz7RiuzFfqc1GjFIMtKfcyepVH/
fxQjnuwlT//za3UeRdWLCSrGzRKZ23GXZWMw0JTwQyLgtHbpgkHBGKGobFnzvkaE
Ou//glPhBRgjRG67wRr7fnsg+GV0DZT+iIJa5Xmwug2He0UYEVahfjQzHBKWu6Ip
70uEV7yHxsSoEurGf35V1x+jN2nQdu4GsDvVWWc934+B1ZSUECWGWm/EUKe9kPGf
oGYDNJ8dBbQiPowaTysOhf+cWBzDLJMVljQQIX+IHdhcY/75vZBfpxUG7gXeNYvE
bbyqAu5Vl/g1lfVUdNxyNjQGRF3wvf+yV3i9KjkDvArn5e7hKhtx49ST5VUl7REW
7rQb1tcIsQGYcZnTkcRWnDkWU6CPU97PRvRs+iScg4yTzrgUMgdvaoM/ht62/tve
U8Zi1JEkwIhd2p8ewfUvxwNajHn+bi+7l1wU0WYzSRrrdq9aDTmwAkS4hLwc7VBL
0llY7KCmEOwzV/vF3obgdP9uYYCwCDmpcRDS3o+WJQlOp0MCqs/wZQgWP6bBfhZS
BPaY5SbwfGjLcnSJHhQQYMH9Ek1OBjvmcbzAQ1yH/Nt7PAm09npmevJb4F/aeCQB
6V3fVkvkiAJGRrU=
=8GSN
-----END PGP SIGNATURE-----