Accepted cbmc 4.3-2 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 08 Feb 2013 15:46:35 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-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 (4.3-2) unstable; urgency=low
.
* Cherry-pick upstream r2111 to fix build failure on ia64 and s390x
Checksums-Sha1:
40f92eb41523829fec67c224a38604fb2707143e 1061 cbmc_4.3-2.dsc
3c4bb9b27a79cb30c682ebd1ede1bcbf7c2f14db 5970 cbmc_4.3-2.debian.tar.gz
00c51feef9656157ff976b4a2f5b2ea341b71b7e 4589438 cbmc_4.3-2_i386.deb
Checksums-Sha256:
c13c3bfedd2311e3dff54c39ebfd7813191b3afedb6d9d3f4c263031a6c72ff0 1061 cbmc_4.3-2.dsc
0b072bd780a0be8cb53914850f466f724e3bd347b5d650128c20e6da11cc0656 5970 cbmc_4.3-2.debian.tar.gz
06e8e4a25b0d6e7506b0cd0307e0b9235fa50bd96007aa0b6e9d28f18305042d 4589438 cbmc_4.3-2_i386.deb
Files:
cf1b10b7022c3f4aaf38f0b2e057423c 1061 science extra cbmc_4.3-2.dsc
83505ba477e930c1b6c6d2f8fb40e5d6 5970 science extra cbmc_4.3-2.debian.tar.gz
f04b52bf8c31bebbb8d5888952ff9f90 4589438 science extra cbmc_4.3-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEVPHEACgkQvx6dH3bVKsQcOwCgurdmClmSmv49JZvOee3Pd4Qd
ISgAoJr6LxOVUYQBPJ85F7d8DBb5giAH
=VGFb
-----END PGP SIGNATURE-----
Reply to: