-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 18 Jan 2012 18:37:41 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.1-1
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.1-1) unstable; urgency=low
.
* New upstream release (all code patches merged, only build system adaptions
remain)
* dh-compat bumped to 9
Checksums-Sha1:
370fa4823f9f75ca1172ec8566db30735b14dfa4 1058 cbmc_4.1-1.dsc
7590f65ea2a396eecb413c1175027b083502ba57 916603 cbmc_4.1.orig.tar.gz
68edb96a0cde263810410fb18296c835f3c47a7a 4354 cbmc_4.1-1.debian.tar.gz
47771f2bd1512da1005d97aa9adcedf33d22a30f 4842484 cbmc_4.1-1_i386.deb
Checksums-Sha256:
6f6f5033937448c583e6ad25ba7545d19c757c4fb3343e55f890547a67d830f8 1058 cbmc_4.1-1.dsc
7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68 916603 cbmc_4.1.orig.tar.gz
eeef61d153e5a7897e5b500523bf591a988664bcd3f9bf2a9e701d87439f25b6 4354 cbmc_4.1-1.debian.tar.gz
3ed9b2525a49f9d45f341347e3c12d98bb99adb5d18c5b490284bc60b5644eb5 4842484 cbmc_4.1-1_i386.deb
Files:
c0f8881b0af810363f054d578961b2be 1058 science extra cbmc_4.1-1.dsc
2719473150151d4d96096828f0b28efd 916603 science extra cbmc_4.1.orig.tar.gz
9cb0b05cc891843e58224c943e65afd5 4354 science extra cbmc_4.1-1.debian.tar.gz
1e17fa13b53e5174258dd47048cf365e 4842484 science extra cbmc_4.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk8XRk4ACgkQvx6dH3bVKsT3NACg0oeqMw2P95SVo/kYyxq+/tl2
UL8AmwfPzeqnXZHcj2DLa6px06uig52E
=aaZM
-----END PGP SIGNATURE-----
Accepted:
cbmc_4.1-1.debian.tar.gz
to main/c/cbmc/cbmc_4.1-1.debian.tar.gz
cbmc_4.1-1.dsc
to main/c/cbmc/cbmc_4.1-1.dsc
cbmc_4.1-1_i386.deb
to main/c/cbmc/cbmc_4.1-1_i386.deb
cbmc_4.1.orig.tar.gz
to main/c/cbmc/cbmc_4.1.orig.tar.gz
