Accepted cbmc 5.5-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 16 Oct 2016 13:10:20 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.5-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Changes:
cbmc (5.5-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
1fdb1756b28ba5f1b5d175f5ab252f4ed0680852 1744 cbmc_5.5-1.dsc
a9dfaa6dc6e544dd6359db70fe5c08ea55ea8e59 5274814 cbmc_5.5.orig.tar.gz
a4e776c084463e789b056fc25cee52fed7f95f93 10148 cbmc_5.5-1.debian.tar.xz
Checksums-Sha256:
b8d9b69e09d1ff52f4b01eb90f5b11bb546c7fbb537e3ccb920b1023ccdf4042 1744 cbmc_5.5-1.dsc
748dbdfe37fb91b2755fdeaa61d20aa0b3a18df184d6be6ec283e7f2492537d9 5274814 cbmc_5.5.orig.tar.gz
72740c3f3d132ae0f171ab2a540883e50db6998efd99a1efd71d5da8a3fa1396 10148 cbmc_5.5-1.debian.tar.xz
Files:
3c316423fbceb84a4040e126b38e01d5 1744 science extra cbmc_5.5-1.dsc
ef8a7d48c5f98e95e5fc850d68f83fc2 5274814 science extra cbmc_5.5.orig.tar.gz
4662637e6569cfcf4f3f620f0a35c335 10148 science extra cbmc_5.5-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJYA545AAoJEDu/g5M27Kkx9ckQAJwVIM3iNxV3IMhkJrjeHTKY
qadcWjRl7XcRB5LkBeJSZMZNNwSt/2a00JOXPGS7fUFbkVXsbL4kQ44yX4uPT0d2
D8p4t5FdTfuLQbiMuTPXioeTn7anaqXB3/weiURgstZi8Kx6GNtBWNfdwEBzpqYB
UtEUxQZuFyBfrTaKZxnXf3+7/vaWx0IEwyzIdNdvam16CII+qdLZjqbiiR+L9J9M
9uEIAElhko1ZPv4cUmuL+qnjSjQo3j/oCeJsaFojn95q9hkxpfWOrrezPEUa+zer
kuXNRtmlndCaE6iGbqcXxGhCzucXgJeRNRgRJVKaWCoKBuHkBhqaWSraEpE96U67
5N9EOGgIxDFhUz5dQK6kYQYwOpyVLJhd/wZWG3l2Br+2872mENJpJupK3gVJDuHR
IcWbmIPsyk1sib6n+bcKdVjYYmcHrmVLfLIfhN4DnRbPq1x3mgl1dhRtw2F29S2j
dwt0/gNRSZ9fZb8GlKY1tu3W2Pqj1nrk8m5eqPDbZ3gFmjV2+WJXdk1zvVjFjqMo
qY5LQ+uRfCPwKONujC3wLHi+MYKgehingjWt0GhZ4VOG4O4OBWPa8emt6JAjTvPN
x2DAO6VmSKDSUlnMqa/nkW0ESUyULLnbWrzFKjNZTxVKQ6KmZ3Mx8iSk0HVd4lhA
SAlubhCOmns4oCIQX3Ul
=WQes
-----END PGP SIGNATURE-----