Accepted spin 6.4.5+dfsg-3 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 25 Apr 2017 20:22:12 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.5+dfsg-3
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-3) unstable; urgency=medium
.
* Add Replaces: for staden (<< 2.0.0+b11) (Closes: #861021)
Checksums-Sha1:
8cc6d2f766f4701cfdd29bb3a78994d3e1eca62d 1868 spin_6.4.5+dfsg-3.dsc
890369848eedf2f8e919921bdf6c73febb02fbfa 4032 spin_6.4.5+dfsg-3.debian.tar.xz
e28c32571733d5b3ad1247e5dd9aa4b975d356a8 349808 spin-dbgsym_6.4.5+dfsg-3_amd64.deb
a08f346fdc28586b8042227991bf9bb080f2c2cb 5701 spin_6.4.5+dfsg-3_amd64.buildinfo
de4354f7b607fd5e7dcf0c0574c01223446a0619 555906 spin_6.4.5+dfsg-3_amd64.deb
Checksums-Sha256:
46c25b655138318dad191a72f25409fdb674bef64eea54ef8d6380d21d40d4c6 1868 spin_6.4.5+dfsg-3.dsc
f874e751051119b055a659f4c0ea91067f9da1142871014cee8dbfb3c3de73cc 4032 spin_6.4.5+dfsg-3.debian.tar.xz
db0153fbe9f987d7dbddfdf6ea97271518d4a89c2555880ca5d83ef1f01c58da 349808 spin-dbgsym_6.4.5+dfsg-3_amd64.deb
a6840f50fd45454fc951746c6cd453a114e8ca5976994f53a4293951c197942f 5701 spin_6.4.5+dfsg-3_amd64.buildinfo
cde95d953e572d390f5f8be043c0a9124d0c816c126001e887028969f853a6d5 555906 spin_6.4.5+dfsg-3_amd64.deb
Files:
35db837f9e7bedb35e7b0931d7a8b110 1868 devel optional spin_6.4.5+dfsg-3.dsc
e94bdd741812e7060de6b15da5a4ec83 4032 devel optional spin_6.4.5+dfsg-3.debian.tar.xz
9f2de0f07bd761935276fb6ef05de14d 349808 debug extra spin-dbgsym_6.4.5+dfsg-3_amd64.deb
f676140d44f7832f88f308125cdccb35 5701 devel optional spin_6.4.5+dfsg-3_amd64.buildinfo
866a1452b9f256013da1f4b0a0b71564 555906 devel optional spin_6.4.5+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAlkAGLMUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpZEoRAAsFVpGmYT4EOAOxvb7ebRLKjHtbO0
w3BLgAul9ph4GYAfZfK81+vY1j1MGWMbhlcjv0+SPUm7C08+2x7Grcard/vBvJkD
GOuybVb7KhWvMUw8xShIhb5l6DfTNT8pvfRX43t6XXWjTkyoOhemxUq1NjYfdcfA
wFSBFVzC/Z1GT626ULfPBw+whVN/6ziSIt4GyB88PANHxFgL6ZKUe7Cka1DAlnAz
MJtpfWw7zdrGp9jety/gVSYanYVRkGHL83cJPpY8aG/AzhH47IRBzanuFycaMjjo
Q7nvt2xLuom9b6eDJwoMxdXYWv7wdi4upcqJrlDGAGq4oEc10BK45g9DfCDtpf0W
lgZqErPEMpFKDbjOK3RrR2/yF0UpiJb9WDPZ0GkkcqjxLtMm55VvFR1wyAgHaVhm
1DwBtXZZSq98IB7sh4JWXcTsE0wayqEQddoVikvgqEclWXYE5hfmwThlJL3iqTYQ
Fp9bumjSrlf3hQgu8iV79JIHG/MyR922KdRAuS/TnQlNYnvmfsI3AXnITF+BXqK4
XXHVZsaRo7xxbyYexVjFGKpOP3msn32MnkeLN00uQt3oqUy6Lw0SYBBrqeXNewae
xtKOq4fJqNLT9MQxS837804EANzbcJn+wn/XQW9L98/pC/e5p9xz9pvYh6mvtjm4
pQOWerVUgIHE3cs=
=3zQc
-----END PGP SIGNATURE-----