[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted cbmc 3.9+r41-3 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 14 May 2011 16:11:44 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 3.9+r41-3
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-3) unstable; urgency=low
 .
   * Fix another FTBFS for ambiguous overload, missing freebsd kernel define
Checksums-Sha1: 
 7a9890c9294a5d9c9d2214067fe802015620f76d 1038 cbmc_3.9+r41-3.dsc
 2fef58a997a6bc95c981d995ddf9892fd079fbf7 5445 cbmc_3.9+r41-3.debian.tar.gz
 0d6325d40bd5948fe4b40b76db335620de7d10ff 4589014 cbmc_3.9+r41-3_amd64.deb
Checksums-Sha256: 
 ef03861c2b1addcfb67b31997c25108016f3df0ce7803b3c9931e2ff68c6436c 1038 cbmc_3.9+r41-3.dsc
 2bda751dada9c6198460aa928e0c9be7190dea20bda9eb77a9f42ec6ce937c13 5445 cbmc_3.9+r41-3.debian.tar.gz
 d196dfd7b41caba8e16db5f756a50672849dfb8922948cd5064617436ec7f066 4589014 cbmc_3.9+r41-3_amd64.deb
Files: 
 d69b853b9154e991a26eb371ebecae66 1038 science extra cbmc_3.9+r41-3.dsc
 aff4e22bd49a52d750490d76afdc5ba1 5445 science extra cbmc_3.9+r41-3.debian.tar.gz
 6b649eed5408e7f0b5f95e26a23ff688 4589014 science extra cbmc_3.9+r41-3_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk3Ok9kACgkQvx6dH3bVKsQOMwCgwpRLhj8ZK415fFkZWp0VKwDY
05AAoNtyvtk2+nHun++5ogxlm5c7QqyR
=6KSR
-----END PGP SIGNATURE-----


Accepted:
cbmc_3.9+r41-3.debian.tar.gz
  to main/c/cbmc/cbmc_3.9+r41-3.debian.tar.gz
cbmc_3.9+r41-3.dsc
  to main/c/cbmc/cbmc_3.9+r41-3.dsc
cbmc_3.9+r41-3_amd64.deb
  to main/c/cbmc/cbmc_3.9+r41-3_amd64.deb


Reply to: