-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jul 2018 18:58:45 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-3 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-3) unstable; urgency=low . * Make bitwidth preprocessor options architecture-specific Checksums-Sha1: da4d682857f4885e64a9f8fbe9440181bbb1a8b5 2226 cbmc_5.9-3.dsc b9b86be6db88e7279824830dfb6afb4e47e1c1fb 11732 cbmc_5.9-3.debian.tar.xz Checksums-Sha256: 56a21ee128f1065289809f6f953db5360be3fde746a3f34d05722caf2551b763 2226 cbmc_5.9-3.dsc 298b110cd1a367f752d8a588b789fadeab3763406575cf57c194dbc5bfcda0b2 11732 cbmc_5.9-3.debian.tar.xz Files: fcc313f07aef26d2a60b57a2ab43a742 2226 science optional cbmc_5.9-3.dsc 8e0dfcd78c3f23ea2aced10f2cc2a660 11732 science optional cbmc_5.9-3.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls75+cOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTG0YQ/6AuWHhBehsGhYd7z6IUfuR+fa5riJDab1a2dy rKnpgLpdfJXB5Jtlambccyf6zZiRS2Zaw7ZyN9CE/+SWgfUqSHuQ8GO87B5wnk0G giPpkl43ns/oC5YPT5kudkCJcpXizm1DCzb4+zb/tv4Ivrauy5I4XITzbBpvNjMc nb/YTuh2xuthnXuPv/cFodblK3PwFDyM4dfjIfQaejel5rvD82DZiUYT4JhcFt12 PS5y2opmJuZ2CwZdpF9slYUi1GUbNWb7xl1aQIy/Bv4dl4inoHP5UM55kmxsAwsQ FBdSWBuYxu2engosepAWZpx52F6d8Kpw0WA4thffV52wTGv01PlpXRxxhauOf5a+ DuddhUtG/me58/TZVRDsQLufkj/gQyixhuOSsu+jgKu2zffqhPJ+I5rvKrqj98ek JfS5AY+cljxOFrq/4OhEnvm3fE1EuWRb+fT3Jcth1f49b8pDL/EA3pHhNaLs3CtF IfBIM5G0Wap3Pud/gD2TAi7+OFi/9eKziPovUpfmIz9Z5KJEPjEuGXH76MIXnh7o tX41lB6e/WBbKV4C588db7q+ZVkzuWsTrz+2jh8UQQvYnn8M7oZD27YYad2cGIfL 7Ue3TrMnKf1EoXZrhXjmF20llXBhJr/AuXbEFjv8Uqy+koX6TbP043M6d1Q1t9GO Da4DCKE= =QQaR -----END PGP SIGNATURE-----
