-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 09 May 2016 09:07:09 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.4-2 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.4-2) unstable; urgency=low . * Install goto-analyzer * Updated Standards version to 3.9.8 (no changes required) * Include recent big-endian patches to make mips(el), powerpc, s390x happy Checksums-Sha1: 567420ac96f6ea07313fe3ae3d4492c27846acc2 1744 cbmc_5.4-2.dsc 74fc7d7be7a2e9b73097ac440e2a1b3195cf0010 12028 cbmc_5.4-2.debian.tar.xz Checksums-Sha256: 89f0fec5640f2d35751702d51b9df3709411f3ad490c53a5c2d8c192c3d63dd3 1744 cbmc_5.4-2.dsc e17b426a90f8931813f27e69aac39dcc31d43bc2ebed38bd8f4e35bc57ad6c40 12028 cbmc_5.4-2.debian.tar.xz Files: c8c13dd91ada83c876db580091bb8e93 1744 science extra cbmc_5.4-2.dsc 466710161ae0e8d7f4ce575fca4d9cda 12028 science extra cbmc_5.4-2.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJXMFDHAAoJEDu/g5M27KkxOFcQAKEFFfdv/5y9+Xg6jFbjW7WQ kNH1ys+UIZdro8D0aGLiCU1ukYN64lyA8jIa17xY2yPEd4jnIZovUnmD74sGvf+Q agjMkjyzAKGovH/w9bwlVMDf60I0kWPCAwp84sczk1jgCJI76c5w2zUg0FAOKEsf nw4refmrjt0gj0DELp2M2Kb2ODQJkKiJ8ZwAPCXgTFhN4FxsyS0EsbXP0xbq1VY0 DSZdxcw69wPYOGqZSnjQ/RgQmRp+0ce3WwhNSewWNxOWhnjP/uwc4NvYmsS21joe KFV7bWgrqCpN4cbPzJ+f8H3xiEwagZmPBMi9kxlYjGhBgl4HXxk/1Uyu3j4WTpUh y47kzucjvUapdNhyji1tcjlyLsOCOqSzloXbHnaTayoDhOto3qVxTmtJlsNkY2U7 DplzvXzFT9C0QG79UDrh4LfbOHNX2IDsdYeX1VBqDXskqp4Som9bVkyCPZmFtUyg /tFYxAfYuax7499NXxuYgHyhdlLvK1blKqRCelf3IhOA4rmwAyyVOn6WnGck5vCd CJMCTOZffL79Pg2+TUnIj2JGaj77hOYct9eQrPHHzhT9HVWvHSResLXMeSGrAOPs hzbJc40p/cVHs+5EZg8I/yqCNNKTYbhdNoz1WSnbUa8g6D8q+FhEeLsBh3LXvIwp KCQIif6uU0Ta3QT269Ak =pm3g -----END PGP SIGNATURE-----