Accepted cbmc 5.4-2 (source i386) into unstable
-----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 <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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-----