Accepted spin 6.4.5+dfsg-1 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 04 Jul 2016 20:11:50 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.5+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Tom Lee <debian@tomlee.co>
Changed-By: Tom Lee <debian@tomlee.co>
Description:
 spin       - formal software verification tool
Changes:
 spin (6.4.5+dfsg-1) unstable; urgency=medium
 .
   * Repack source to exclude iSpin
Checksums-Sha1:
 7e715909c396bbd98e57cd5f66b0648adbd9a615 1825 spin_6.4.5+dfsg-1.dsc
 52cf767d2851ee9298b76e17997b18ef2796bc7a 621759 spin_6.4.5+dfsg.orig.tar.gz
 84de1d00814efe813f19744eccdbf1622d0986ab 3956 spin_6.4.5+dfsg-1.debian.tar.xz
 e890045352d48b269549ffac2a739d4cc9a141d9 340840 spin-dbgsym_6.4.5+dfsg-1_amd64.deb
 e682977136dc1332ffc1d00def0318748e7096f0 555134 spin_6.4.5+dfsg-1_amd64.deb
Checksums-Sha256:
 704d83cad3cc98515238163b999e6cf45f90dae42185474a98047a765c36a33f 1825 spin_6.4.5+dfsg-1.dsc
 bb4b66634d52f260524f056ebcbba7977f60cdb0c9cae709846c89de05b1ad6a 621759 spin_6.4.5+dfsg.orig.tar.gz
 07a1970294ccffa3a7099bd34664a07bd642e058008214dd2c50e70c1ec150ad 3956 spin_6.4.5+dfsg-1.debian.tar.xz
 f3c418a055bf11d852fa5b7a72b433a0ed77a0be4f382981dab9465dbde1a616 340840 spin-dbgsym_6.4.5+dfsg-1_amd64.deb
 8389fc56568e11a747bf8feae50cb13bafaea419ea921b53bec43bcc90c27bcc 555134 spin_6.4.5+dfsg-1_amd64.deb
Files:
 2f01a41dcad53cf0ff6b9e29b4eccd99 1825 devel optional spin_6.4.5+dfsg-1.dsc
 fec547778681e6854469b6b3d106a8ab 621759 devel optional spin_6.4.5+dfsg.orig.tar.gz
 99c430900a708b7d874f14fcfdc31db8 3956 devel optional spin_6.4.5+dfsg-1.debian.tar.xz
 c6a27b58d26c0967f66889f3921b1a75 340840 debug extra spin-dbgsym_6.4.5+dfsg-1_amd64.deb
 44532dedc5b7818e4cc50cc80011728d 555134 devel optional spin_6.4.5+dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXfdtuAAoJECHSBYmXSz6WAnsP/jDAvILWayFxu9SuZB4s/JXL
7qqAMOvC7TL5/HYWNuR6KRPH1h/rNl80ZTBPsB5VMAMOTCvBXW3dPz6n5Za7NZFS
HWLJb6v2Dx6foS0ORJnsP16UAY+Mus57tqMWRxlkjfHQA1OHgrB2C425QgSzx5Eo
IubbgGhQLlmUaA9jtuI72pB63dDLrtTes/vCw+L4klTux3mrjLsyd/bDY5bCui3Z
rxDF2EaQvpb+/WrAVnEMJs6TImXFyNjVQQ3DOQPSCpp2vLUrMojya+5Widc1i3v9
fF5jte1maEf4SpmkJJEQJUsbEqjE5a7437m3DeyAK6hQRQ2fsPn/cToscZEcB0LH
TPJBKB2eMaV/+Tmm3+xg+gc1cIr0tSa0F1LbWrTXARpgz00S/xbumKm1+qMzcn10
uxeGA4mKj4st8L/Ty4pYP24XbBrPuO43NfXO8nPvczYyG0HhWhB4t5mRlLg6oJ+h
gX0lLLzen1ptvll66f1fqOysvhrntAZkhiBp66m69aM4yagOmZBlfW2z3eXSgJeA
RonedO7YFZpQ54Ww9tvpym9WSahQ8vHYC6l8fKOIkWyfWvjlO7+gH7gJ2dDpAZyv
39zylIw8JbY+UQDXRMNvyN2qD5a578b7EBc8rP3jWcUM8D0bZaljPYZn28G3MaGN
kYcSIjqcp6XSSYl0FB98
=zMZV
-----END PGP SIGNATURE-----