-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 12:02:56 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-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.2-2) unstable; urgency=low . * Updated Standards version to 3.9.4 (no changes required) * Include upstream man page * Updated debian/copyright to final syntax * Fix missing includes on hurd and freebsd kernels * Print test output of failed tests Checksums-Sha1: 6bd084200c7f5882b27513834f97bbf9ee02e5df 1061 cbmc_4.2-2.dsc 684b73352b66592b490eb686a82cede0130f1473 5867 cbmc_4.2-2.debian.tar.gz 29c75e46b01fb40031d5dd4c90cefec10e6e1294 4964480 cbmc_4.2-2_i386.deb Checksums-Sha256: 2908edb791ce98137a88c01f9a9e8114a0046c6c71c79338a8f1e6e6d3764f0e 1061 cbmc_4.2-2.dsc ee7ade45a9e64a206faae2cf574b4a6699a723bcd9955fb19d4b38e10f5d4f45 5867 cbmc_4.2-2.debian.tar.gz 5483f424aaadf31ebe3d5b5aa68cd19e951f679317588f1fba7dc5090c3fb232 4964480 cbmc_4.2-2_i386.deb Files: bb8eb54ca59af369a92b87c69981d958 1061 science extra cbmc_4.2-2.dsc 2290a90a6ca5a6c6a1f449bf5251891b 5867 science extra cbmc_4.2-2.debian.tar.gz 6fac89f1a3792802e911bc7d117a3d52 4964480 science extra cbmc_4.2-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlBZ4+wACgkQvx6dH3bVKsTW7ACeOVOiOmWfb4wdgEXbAR5QL5wH q5AAn2pmDgcU3pagBPMPCwtJCm91p2Zu =D5Zk -----END PGP SIGNATURE-----
