-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 26 Aug 2013 00:07:54 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.5-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 (4.5-2) unstable; urgency=low . * Fixed typo in powerpc sub-arch configuration causing FTBFS Checksums-Sha1: e89cbfe184a8caa372596ef2cacaf9e692ef6b48 1741 cbmc_4.5-2.dsc 4d7b69af0f437c3c79579018505dd4be5f84e19a 5897 cbmc_4.5-2.debian.tar.gz 2d6ee69923bb31190b20efb9dc0220417010bef9 2643568 cbmc_4.5-2_i386.deb Checksums-Sha256: 6de89de6bb14b2da0b08b559e19cb829057884a03e3d72ad77fa839a281f9ff7 1741 cbmc_4.5-2.dsc 21bf05b4d24771dae92f94241498048d98d64af6bdd77d2ce5212713a4d1862c 5897 cbmc_4.5-2.debian.tar.gz 17bc4ccf0b1c76c1f39a908c06dea32a3fd8d0306c85132ff784fdadd7abd931 2643568 cbmc_4.5-2_i386.deb Files: 12b0c1f2c59c69ff813f8c382c90de47 1741 science extra cbmc_4.5-2.dsc b58e76a791dae7c708e9de60b35cf4cd 5897 science extra cbmc_4.5-2.debian.tar.gz ca80f973f0722c24da3f4a530530f6c2 2643568 science extra cbmc_4.5-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJSGpOyAAoJEKjvEonjOGdBdwMQAIomRKt8pRRWm8Sg8R4WxA+i NFBgfG3HukIK7goDUgyLwi3vTxkMV3M3nO0TRGg4xwpED3AIaKU7ahcydDc0vQcf gLrZK8JgXqdAeOeLdw2wHDfMFgdtGyckURF8cSVTai6k3fJHpug/NZlFlGSx3vO3 gERJiwWtvm/d8gBL30dgcOVzAbvywtzj4WBgcR7aw2v0IDKU0R3ISdmBs0nMVLMx RhHk4+QFCkutGlz3N6cY06v/DMASw9bCsISxHWc/2/n8s6KwC/STS7nhxCwJ0Yw/ MeUqdo5ppRISrDoJL/PRUv8Q2IcDSxFeLxcJPsPvSmNDoVvNi+mHR2pQBp4xod/k CtKCMQMW5ceALJL7nnnJMoxG2kzStABUCX5MjSgA7qp68cy3aXgxPFDdZnubsdMr FruZvhgjhvebUuMnzkMRvyPlcRox/y5jKeje0peSJHGY1XG85bq3OjVBkFDIP9Iw 7oVez11nmx4jcuiUzxS47pWs7W/bZfqJUp5cqOU47B3LrR+buH7EY/aRC14LEe8Y R7zqOWUfO9+hr91UOtziiV0QHxOlJIRazjqbk5r9AmUhcezdiXVxa1jVDLEbrba/ dY689gSSir766P9nGc0vJ0ckiKiJ0cJbGC4MdKqCEwTsl71ROtoGqke9ohRPEcrp i0mCRMb5WswuRd0PPjTU =XHCp -----END PGP SIGNATURE-----
