Accepted spin 6.4.6+dfsg-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 24 Jun 2017 12:33:50 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.6+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
Changes:
spin (6.4.6+dfsg-2) unstable; urgency=medium
.
* Upload upstream 6.4.6 to unstable
* Bump Standards-Version to 4.0.0
* Use debhelper 10
Checksums-Sha1:
33b101f788ef7ef9e33175895aecdbf247657934 1869 spin_6.4.6+dfsg-2.dsc
779f861db71ae906c95e698a0481af5c43b0a646 4100 spin_6.4.6+dfsg-2.debian.tar.xz
034b2cfaf23852e0784be0b242642e4d70baa633 350004 spin-dbgsym_6.4.6+dfsg-2_amd64.deb
ccb90e385f7dab6a7b5b8791a551c1fdaa86acc5 5722 spin_6.4.6+dfsg-2_amd64.buildinfo
61e8fe6a75487c233b5dcd71f9a2091da653affb 556496 spin_6.4.6+dfsg-2_amd64.deb
Checksums-Sha256:
e6fbd6a7091e858f39895be1d68a7246483038cb187508e8f4556b5051b7f332 1869 spin_6.4.6+dfsg-2.dsc
7e653b0626bd3c25d682c57a8138ab21ef016218347015f6a6efa6c98856a18f 4100 spin_6.4.6+dfsg-2.debian.tar.xz
6bd07383a0c87de0705d76d9d3c378bf10046403eb6f01ef76d593d991893ed4 350004 spin-dbgsym_6.4.6+dfsg-2_amd64.deb
4aa54fd6202503a91c8b18d130724393b6c8df531f9ce02d389f58c4493c85f5 5722 spin_6.4.6+dfsg-2_amd64.buildinfo
9d47addad0bc75676a98bf38c2cc6aa573fe2ecd153d77f09bc8b75e540c1c6a 556496 spin_6.4.6+dfsg-2_amd64.deb
Files:
c1818e8ce2e0cf4b6ce0034bb7979d75 1869 devel optional spin_6.4.6+dfsg-2.dsc
5baf0bdf2dab3123bcd6a67c7e7d828e 4100 devel optional spin_6.4.6+dfsg-2.debian.tar.xz
6a302d14fd08fae5d738246700386a62 350004 debug extra spin-dbgsym_6.4.6+dfsg-2_amd64.deb
178847990b7d517eee1538413c2b9bcf 5722 devel optional spin_6.4.6+dfsg-2_amd64.buildinfo
49786ac63a57432c9609bf921b2a226f 556496 devel optional spin_6.4.6+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAllQjQYUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpZBGBAAlv6ApTuBqxZAPaX0UmIxDwffISsc
v67wfTrGqtYwdFRI23EegVZGZ0sCClyl/N19ZX6a/v6BLCjqpArBb41Qp057rQ5O
RADoht+oPyBExjw/C9OitWddGXcl2oiF7cDAfQBRJNtSErMBrms5lcmiKIecIes0
xklE9NUEcamV0GKbwnk978VVZp0CxVj/XIGOwcK5SITo0QJCiQPHGq8KEIgWj/e4
EzYt+33w28DX+VLLi2dEPAvdgs7k5W92Etx0mHPJcNjWl82XWPUixMCt3G0Sg/rj
6rRx9SpnsaJNpSnu0T3vdX+wuntLQgOMHHDAzKoAQIbj8hOLTKhvYEgmk29mcGLr
B/6g6musyrMNnC22O7HSxCoGlw0fi/ThUIZRpu0/nVuxZiXjp/RrDjwwZNGes4SP
og8zO7C5i1nw9P1o3kBB/gMOAhN5/9CUEXPKlx2cmy6u6ANu2umK9mBpnRConqde
Mw/k2l3eyrjYgr7xYQZiCbClA6AzdAc51iUY1gyEplCwysHGp3pzwAAGLZElI9Cf
9mIsKi5Jfraaw+AB3qmyPNiazqtD3C2xUgYl8E5MjIAuZFI4ZMqFlCrP+RwbVgNu
sUB3+k+zVZvQaCVy9H3f1NgOFH+3+GzSoOdyUzH7BeVmXDvCcU0b+XEf/N2nUTZV
QNPS/zytpwzlpUY=
=ou6h
-----END PGP SIGNATURE-----