-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 20 Sep 2012 10:27:43 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-5 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.2-5) unstable; urgency=low . * Fix preprocessing on architectures with unsigned char * Proper word size define for mips * Added regression test to check for missing builtins Checksums-Sha1: 9c8f83dd5b99a7fb001688e0405edeb7f62c7b03 1061 cbmc_4.2-5.dsc 5c7f1f0acc959bd7df1140caa0c653e4d1352e97 7201 cbmc_4.2-5.debian.tar.gz f51384e0da97f60e1d69b8d73d7a43366c01c154 4965478 cbmc_4.2-5_i386.deb Checksums-Sha256: 421903b1453dd4fbe383f213c02538b38b3340c1d2911ac5fa1c01caea1fcf07 1061 cbmc_4.2-5.dsc e3d389105092afb0b8f9248a9a354d7ff47adca52e5298bac69390b2b242030d 7201 cbmc_4.2-5.debian.tar.gz a13b9ce9a1b031d63a4e8e4d54e6c0800051ff62273c22e2f52d386675860d0f 4965478 cbmc_4.2-5_i386.deb Files: 80f42913032701c2665dc83afafb20d3 1061 science extra cbmc_4.2-5.dsc e0474cccd7110afd7b660e918b388bd8 7201 science extra cbmc_4.2-5.debian.tar.gz 3a92fbe0c19a842d4af1a343e03b42f8 4965478 science extra cbmc_4.2-5_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlBa5z0ACgkQvx6dH3bVKsR+lgCeNcC/st0sQbqpCye/N4JFUWdk fr4Anj8pxCzNWwoRN003zOlGBw3+Os/T =PUAL -----END PGP SIGNATURE-----
