-----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
