Accepted cbmc 4.0-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 14 Jun 2011 19:12:10 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.0-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.0-1) unstable; urgency=low
.
* New upstream release (all patches merged)
* Requires suitable minisat version
* Working watch file
Checksums-Sha1:
9f90d565023171a892dbe4a5259c1d3bfe81bfe3 1025 cbmc_4.0-1.dsc
e104d29c56bb6bf85250ea643fc04f67bf0fce9d 869203 cbmc_4.0.orig.tar.gz
f6c10277e0793d73a4c056fa27db79e9326d8db0 4522 cbmc_4.0-1.debian.tar.gz
9fb7ba8ee0aa3ec2958db07ec3720314868b3d39 4515896 cbmc_4.0-1_amd64.deb
Checksums-Sha256:
66e714b47478521958cdc41afe8508a92b965f835164333c4780843e175a0d78 1025 cbmc_4.0-1.dsc
f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45 869203 cbmc_4.0.orig.tar.gz
413c8717440cd7081ddeb85dccb2a1218cfc7d975befb4dae91a287e410b0565 4522 cbmc_4.0-1.debian.tar.gz
9e973a4370b1a65aed35b8249d1f9965f784493719dc47fa2c5155edd9b1729a 4515896 cbmc_4.0-1_amd64.deb
Files:
d4bfac7702777280271e3373d0770293 1025 science extra cbmc_4.0-1.dsc
5752b25a62d33a6a6769efd3a6428f37 869203 science extra cbmc_4.0.orig.tar.gz
c76d4a6d77ce60cc312d5a0f4705ba29 4522 science extra cbmc_4.0-1.debian.tar.gz
5e92b6e01e80ad2be728985f73ab5e97 4515896 science extra cbmc_4.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk33nuQACgkQvx6dH3bVKsR6LACZAVh2SLRH6QoXzBzAckS17mwB
TrQAn3QVi4apNF9mqiT3Kcz19WERNaTp
=5E+J
-----END PGP SIGNATURE-----
Accepted:
cbmc_4.0-1.debian.tar.gz
to main/c/cbmc/cbmc_4.0-1.debian.tar.gz
cbmc_4.0-1.dsc
to main/c/cbmc/cbmc_4.0-1.dsc
cbmc_4.0-1_amd64.deb
to main/c/cbmc/cbmc_4.0-1_amd64.deb
cbmc_4.0.orig.tar.gz
to main/c/cbmc/cbmc_4.0.orig.tar.gz
Reply to: