Accepted spin 6.4.9+dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 22 Dec 2018 16:13:11 -0800
Source: spin
Binary: spin
Architecture: source
Version: 6.4.9+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.9+dfsg-1) unstable; urgency=medium
.
* New upstream release
* Fix a few lintian gripes
* Use debhelper 11
* Bump Standards-Version to 4.2.1
Checksums-Sha1:
1e79562ceb151275f5fd54bba21d646359d87052 1928 spin_6.4.9+dfsg-1.dsc
3c47344dd4a88610a764551da6e9d17dffd16e29 367832 spin_6.4.9+dfsg.orig.tar.xz
ae8f12a50a06cf89f1910c46bfda36fe99bf91a4 4268 spin_6.4.9+dfsg-1.debian.tar.xz
abbd16c602c8d62c412a3f43db1cc07458239375 5594 spin_6.4.9+dfsg-1_amd64.buildinfo
Checksums-Sha256:
a37c7bf1cc9ee9f1e5dc782b59b0b5083502912b878bacb69ca8c3cab0ee1a96 1928 spin_6.4.9+dfsg-1.dsc
a139a9fd8c406e1db711363265a84d7a3a0fbe07ca13974b8cf49ef3beffe1f2 367832 spin_6.4.9+dfsg.orig.tar.xz
378f101bd5f458ab00366cda4c9668862f20c7027e385a956a5af1017b2bbe7f 4268 spin_6.4.9+dfsg-1.debian.tar.xz
2aa871a0bb27d66dcbd641c223822f3088b6dfe6b0425324e8156336e948b504 5594 spin_6.4.9+dfsg-1_amd64.buildinfo
Files:
3c9ba32315318f42fc235a0b5088fd2c 1928 devel optional spin_6.4.9+dfsg-1.dsc
d5f655c3cb461903f607f019e05b4b7a 367832 devel optional spin_6.4.9+dfsg.orig.tar.xz
e2bde865b9846d508a9c3c4d7feefba6 4268 devel optional spin_6.4.9+dfsg-1.debian.tar.xz
3cc2835a4b664f3c75cbe10bbb4e6e4e 5594 devel optional spin_6.4.9+dfsg-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAlwe95QUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpbe0hAAhHnIvy5aaAHUDvz28S+NjML3jymf
7iuu21BQuD/eJ9VBfTs1kA4JvfAm6tkPXX7j8PycQTXX41m03LfdBKyKE04qVHaq
7SjVzlDMQfJcbo360tkeSsX5OtNsi0X+bsHsS0yysjC/x3AA1S+LXaJCPDXQPhw8
pAQjVidwQEeluYRtNjgWhjbrGc2b3SFFUxdnUCoaTvmRXE7belTilOGMjGrReOaX
rRGDfkAaG8hKP5dCJ7GvG2OPINvY/61EqM0OyMe60rkmrcxIQnoEj2o74ltedJdz
2cXG3uKu2Y3Ou+zsvP915UEGxagfzjZyb9TojsctSwTxupO8jH5VR3csqPj4Z8RL
sDcl1EtELMrQYKrKWBEBcGZBTwbMujxCWk+GEh9K9t8eWSvnkqTZDQMfGep5P8tr
Th/7UQNeWbpaz4mzS9o21kSTPYvMugXcGX0z64p3EE8oh4Let7ysmMg1Ovo5ViiR
m02Xbcj5PEpM1vTu6MSKdS9rLRZGenw/T1zWOqnXeEcQ8zEC6Y0+rgOcYfJoM+df
ncAha2WgNb88+rzsWLi9YqvLC7Up6asm1Zki8UGGxMytkM5sImoXmR8EGrvlZSHc
YMbW8n0avEhF2cq32/tGrYSJISXjDGKYlvk0iAlS9DenFWeUZOZFGcrG0XUgdGJj
x+woveNaEXFHfqo=
=s9xg
-----END PGP SIGNATURE-----