Accepted cbmc 5.9-3 (source) into unstable
-----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 <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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-----