-----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-----
