Accepted cbmc 3.9+r41-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 14 May 2011 14:57:05 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 3.9+r41-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 (3.9+r41-2) unstable; urgency=low
.
* Corrected build-depends to fix FTBFS
* Added gcc as depends
Checksums-Sha1:
90c19a807a2666fd56027947554d886c957950d8 1038 cbmc_3.9+r41-2.dsc
c1eff2b7f44bcf03fb91a36b7655d39edac8deea 5016 cbmc_3.9+r41-2.debian.tar.gz
4bbe35c36048d5395f16d115f2b341cd08009ad8 4588926 cbmc_3.9+r41-2_amd64.deb
Checksums-Sha256:
96cbbe653b479fd2054507dd171d83300ab503fcb5664b6c8d85396edd03b9b0 1038 cbmc_3.9+r41-2.dsc
addc71ff2a808e0aa43c42d7778d6c9e67e7d8ea1bdb80158bd9da68d7e8ac9f 5016 cbmc_3.9+r41-2.debian.tar.gz
f302fd5bee4fd423093a0350e07a0e1871ee561f90eb96bd3e2cd0984cd50a4b 4588926 cbmc_3.9+r41-2_amd64.deb
Files:
7a64f75306485e3745901706e007fe48 1038 science extra cbmc_3.9+r41-2.dsc
a658cbc4dc405ddd71bf05f0e577c2de 5016 science extra cbmc_3.9+r41-2.debian.tar.gz
91d5a3df0ff0cac5b3b822f8643e43e1 4588926 science extra cbmc_3.9+r41-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3OgP8ACgkQvx6dH3bVKsQQkACfcCco8JH0FE8absXcqEZq4r8U
X+cAn02adds6jTaGYrMGswEgu6zBmYtm
=qZO3
-----END PGP SIGNATURE-----
Accepted:
cbmc_3.9+r41-2.debian.tar.gz
to main/c/cbmc/cbmc_3.9+r41-2.debian.tar.gz
cbmc_3.9+r41-2.dsc
to main/c/cbmc/cbmc_3.9+r41-2.dsc
cbmc_3.9+r41-2_amd64.deb
to main/c/cbmc/cbmc_3.9+r41-2_amd64.deb
Reply to: