Accepted cbmc 4.5-2 (source i386)
-----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-----
Reply to: