-----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-----
