-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qlg81-0006js...@franck.debian.org
