Accepted cbmc 4.4-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 10 Jul 2013 12:39:13 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.4-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
Closes: 701253 713605
Changes:
cbmc (4.4-1) unstable; urgency=low
.
* New upstream release (Closes: #701253, #713605)
Checksums-Sha1:
b2eb8fa9266b20cd82400be3dba369f0df9945b0 1741 cbmc_4.4-1.dsc
f87479b4ef9ecd72bb7eb456e3a93ba553e76b70 3749566 cbmc_4.4.orig.tar.gz
aca2635ca5fd86ae928b0d5ca08f22b62568fe8f 5706 cbmc_4.4-1.debian.tar.gz
6eb79659f1fc0ac4123f33b8f9aa468ff9a377e9 5593596 cbmc_4.4-1_i386.deb
Checksums-Sha256:
b9ac24f30c00693ef66967d585401907cc97f04251005dd1558dab0975e98bb0 1741 cbmc_4.4-1.dsc
2d23471dfc9edf108263c103ed3e9d70f53047e7c4cb46feabb79926ed737086 3749566 cbmc_4.4.orig.tar.gz
72891aea51c2fbd7b2862c5eca97701636dbe3eb56995b8224c1aa42396ee1a9 5706 cbmc_4.4-1.debian.tar.gz
4729bbc33fedb5c0bf984bda35b74308c7ab1329405af89a323d8057ef14d7e8 5593596 cbmc_4.4-1_i386.deb
Files:
8fbb3c027ea6cefa180e74121d8bcc45 1741 science extra cbmc_4.4-1.dsc
1451356db27e9b5e12641771d8339bda 3749566 science extra cbmc_4.4.orig.tar.gz
f83b9bea674b7e339457b93243f1b550 5706 science extra cbmc_4.4-1.debian.tar.gz
c04459aee01e6fc37e1c4fa6591b69e9 5593596 science extra cbmc_4.4-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJR3WMVAAoJEKjvEonjOGdBRAEP/R0puAitkCyF2JmjT56hjWMI
lNT9aEnk3w1ffELKIonhyxZIotU/fLqn6wv5jr8sXzJG5olbaAIkICWEmEfGGQDK
TqRlN4+1fXEw4FaOdaDVD7aAbaaAOApI/2f0zSPvAEpIgasmGqS7zfNiraSn3OQw
wxLT3YHf+n7BK1R7sK36WgnLJtaoO1G+c6OEkIPqbuD+BKsg9Jk91Ax5b2yCZhhx
xaWYzUcpTekkTpH/1Ev4j8zNhWvEHuIhK+k7kcav+hrhBB8+5CvpDPxyZvrD+kiC
+jJQZt49/g06V7BSqkMCvbTl86UKHsech8qlmJ5fp4GqmUMhHyi/2O3j8wJZ9yAh
YComDxnCinif3/d33Pq8gFDJ6YsrpEUjolD80KOFhNSyGNDe4vBEPjXPVgCtgrBS
3m0UBwl76TjQXEfdDxQM5MzeM/93IrpOuATQ3Rd7smQPam/zAsSPsyNOTTADBSc0
Pj1gCFXQ2r+9avuyRD9bHBKlHRBXVlN/c5zB0oI6mRDMxF1BZkUKq7d0RF1Da8yT
nkOSsEKNemmVM9271X/+m0++XUvlNmYz28EM/rYgN2EnOXrOVaZ75lRWZAbHDJIQ
hNNv3FaFKLjkX7Rw72FxQFYXE8IVf1apyV0WNE9dX1yikN+sE6we8kNg96kpmjuH
89QklOPariVKnjphgdT7
=c+an
-----END PGP SIGNATURE-----
Reply to: