Accepted cbmc 4.2-2 (source i386)
-----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-----
Reply to: