Accepted cbmc 5.9-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 03 Jul 2018 16:17:02 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.9-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 (5.9-2) unstable; urgency=low
.
* Build-depends libc6-dev-i386 for amd64, x32
Checksums-Sha1:
a32c9e6abf75a9b707c92c8fb59c6bef249648ea 2119 cbmc_5.9-2.dsc
ab85c520e6b265748c88efeae7e6ad2e060106bc 11272 cbmc_5.9-2.debian.tar.xz
Checksums-Sha256:
4f89e6b9b1275e7d85dc00121e7e97c7417141113861c79469cb136988110f30 2119 cbmc_5.9-2.dsc
d2ca930e0e0fe8ab83fa2e5cccdc615971e69cbc4d06ec276b8c5ef4a1200536 11272 cbmc_5.9-2.debian.tar.xz
Files:
ffd330feff155e66c35920b49d3c9c98 2119 science optional cbmc_5.9-2.dsc
5a551dd40402125ac0337ff467574e4f 11272 science optional cbmc_5.9-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls7sC4OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEEDhAAls2snBpbyXCS6Yt20Ekv7TzBb24Lp2cMDUhh
s4I9eUWr8rmMT/ZBV2ms53fi9mYAvNsG8p56sr7otro3igHc7W7jrjvFaEda9J/P
UcD9hCMcJBGFTjgOq2ISYaPAety9EpEkm2xaI9EGNwfHL6Ho3kfTAprTe1+EM64G
dVM7mkpfIMCY6ZkRY/7eb4rNzllsoyzviGAYtAoZIfH+F3eT3JWnzrYoRBt1Df5u
6ZEAWG9Y21bGugEsfqszuzwVkDXT9fnVODfyiLPRjTk/81e5Q6ZObzVcftz/ZdOX
PSIVNMBaGq552xhfF7O8XJfHZwpSDbV36NNubfgOZtSSaYDuh6szXJ2ESxNH+MqQ
Xf2KU1jOibANhUC44Hj4F0lN5EoJt4EJl5ZCBeLwEkwNStXhC9EaUAy6uaZZoUa4
c29MAHPDXAgUkJ7GIZ5p6JKU+lMECBaEhJb3+ANgAZ2kygZ/yyEtEU47Tv/6GA3r
E4llWDYFfkhgfw2e2kjwCMMAVFsGmrPrUQ4eAKJVqTbnsvuQkvOnENAl5ExUVmda
jlxLlCSHXgfM4+EXO89T3qdH8vAkZ8bgcVhBTIvRMHAbbuD+U7m6pda8ooxsy1Mn
BUWwWTTzRGmC6jVCdf3ztSoNk68SYcLJeZQhEmh2v0lPGwr5jbGnkgFNMk+RiTF5
VCNWNE4=
=UuL8
-----END PGP SIGNATURE-----