-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----
