Accepted spin 6.4.6+dfsg-1 (source amd64) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Mar 2017 16:05:16 -0800
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.6+dfsg-1
Distribution: experimental
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-1) experimental; urgency=medium
.
* New upstream release.
* Adjust makefile patch for new upstream release.
* Update debian/watch file.
Checksums-Sha1:
832c32d76ad4870878e5cad43077a18ce70ed5ef 1868 spin_6.4.6+dfsg-1.dsc
18c4097514058c3cd5f9b4118f0186931576fec9 449024 spin_6.4.6+dfsg.orig.tar.xz
e44a0b8fd7d94ae4f07a6cc144ffdb4c973347cf 3960 spin_6.4.6+dfsg-1.debian.tar.xz
4b3397384e9eddf12f6e78c683f094f59c357733 349952 spin-dbgsym_6.4.6+dfsg-1_amd64.deb
02645dddeff5502f3fec4fd06286c2246cd30015 5673 spin_6.4.6+dfsg-1_amd64.buildinfo
135208d464eb9d02ebfd4e917363b50986702776 556406 spin_6.4.6+dfsg-1_amd64.deb
Checksums-Sha256:
d8ba4f3dc42462016effdf3449bf1b9fb4efd129857fee314ea4fe02ea858c20 1868 spin_6.4.6+dfsg-1.dsc
99cd1676ef3852abf7bfd91d39bad064aa2642a0ed70722065dd5bd2aee4d807 449024 spin_6.4.6+dfsg.orig.tar.xz
ba5b535a31cd968f85bafcb7b8986cc6804fc45c850eedebba59dd68c8c8ecea 3960 spin_6.4.6+dfsg-1.debian.tar.xz
ca7c610a2394c8a859ac4f65912625e2c3293e3da08b74d009bfbcb19d2b162e 349952 spin-dbgsym_6.4.6+dfsg-1_amd64.deb
a74709de1894e9a6fe77b6087b11e4b8874cf8fd5c9cebf8c34c14c88d285b1e 5673 spin_6.4.6+dfsg-1_amd64.buildinfo
ed42010d8cc4d730177e7cc319d1ece1fbfbb62e5a1ad304d881955f08174a32 556406 spin_6.4.6+dfsg-1_amd64.deb
Files:
1651ba2b3dd5bb153044cf06a52ab278 1868 devel optional spin_6.4.6+dfsg-1.dsc
86df4d2ccfd592026aee4c93987ad847 449024 devel optional spin_6.4.6+dfsg.orig.tar.xz
417fc8e6ff8f8c2889d42f994c52f32f 3960 devel optional spin_6.4.6+dfsg-1.debian.tar.xz
f8077594222a610ff9062d12547782ce 349952 debug extra spin-dbgsym_6.4.6+dfsg-1_amd64.deb
5e6b34c7c39f45a07ddd4a90d74ac01d 5673 devel optional spin_6.4.6+dfsg-1_amd64.buildinfo
06db080cc0539103c76d65a5a226d88b 556406 devel optional spin_6.4.6+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAljEsnoUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpbkhA/6A0iC5IPhXZuhlie16ACRjJjQrdIE
YO81J48vIviXdeVjyPkf5W/GWNZZ6kGXNCdjHJ1w5U815eUds8XeiP+NjNXd6ftw
bokBbfzOwiezo/torfog81UL44d8A5HEkN8SAWKHXty9A5ZnQnhJETUgpF5j7Zt0
SMXPBMgDjU/4R9XyPaiKWHaRYbUqvnJE1sK5SREIeUFlrZD24cla9UZeUFhJINLF
LJSamPpCuit5G1oO0lKR6PRzY0y0NW1zPZbEIlrFmKDqwp3PWZmghaq3AgZvW1Yb
sRfhaWGqTWl4XNoXwPcd/Hi04MErL9KsFOHGGdSFpHQu/sj37WG4lR9dQxPzfI7m
iKNemenvPHRY5c0e8mbuO32nfU99czNHptUyc0Ou128ojQ4paOzqIXhXMKY/t/O4
2OpDgvQ1l30780/GM27vjse7qbv8aKOXPsHNK78WgrbG2odgmi/gWfhBi3Trrhmo
3A4sCIV+ytodEpiNjk72YY+56+kibH12KOkMPT/MGdEs1na2P7f9RW4bfkECKkh4
PIC/2NonejBhS0bT0Lf4DFZe1eR9WcNjklLOmYqQcACOgPha7Mpy6fbupg74LSAx
Fr/9nvjkYeLTZLJPLEHOFMqTHe7rVUbllOxj2bQwjP5pkKbgRWlLAR7vhjDrTdTG
JOCRmWtsdRhs3mI=
=5tga
-----END PGP SIGNATURE-----
Reply to: