-----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 <deb...@tomlee.co> Changed-By: Tom Lee <deb...@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-----
