-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----