-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 04 Jul 2018 10:53:33 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-4 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-4) unstable; urgency=low . * Fix preprocessing flags for non-x86 architectures * Fix copy&paste error in built-in library * Fix endianness bugs in tests * Enable all hardening flags Checksums-Sha1: 3096d51cdb6dd0f3d4170622be9ed5a863fbb69e 2081 cbmc_5.9-4.dsc 987952a0e1d5a9a20f09221a63baec34d8c92d9c 16316 cbmc_5.9-4.debian.tar.xz Checksums-Sha256: 2fab19228d3895a170d67bd254b8fb2336c7670d6bc93ed65a3dca5fbc439972 2081 cbmc_5.9-4.dsc dab504b920f90db037f73b79516d08f61fdecb66d94e793f2d4dc67d829294ce 16316 cbmc_5.9-4.debian.tar.xz Files: fdaf5e3b8a68239fda3e57d94aa643ac 2081 science optional cbmc_5.9-4.dsc 3b644d4b97bdcdff382cf18eeeab660b 16316 science optional cbmc_5.9-4.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls80PUOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGyNw//X0U5gobTafAOFQ8q4TD7x9sI8Ey/gk+oojAP qc+xWVdjq4TKpf2G4I17hc3S8oTrwXpjBzL6pFIHU09fHmMNFwj4amF2LCrfQdNA 0cUgPH5k7VqyN1UYEkIAEDtQgqbDQ2uZfrkegRnSzNzuiEHHlwhxybG4zEKbYNYY OHMW3p7Pk1qSa3utWDV+HoJ+0pg7I1FKWA0IC7kuGvt3Dx6pdEQcl0hfg1YH8soP qj7JHa+MSwkLQxTTpMPEbviEzJmTlWKVxUW1CDzuVSC12oCKP6rFO8hUgxevapGX OHjO12E7DwHXgm60U7KEnRpPWHSWWbVs1jCMsVk8V2Fvj4IzfJ+D9Vs8PT4CgVOZ 0lVRGw5sBrGjniuxnGQXEAGbqICPQrcVj/GJ70dHiGi5HiFHFCYAud8BxW6GibC8 qLGXfwOSuQYwzC4Hk1JtFotvPx5F9kLvlBtmqEX0LyfIA9CyuatjUhKHQ1ny6oKk dQeQSivENrOzjxN7ivzBPbSM8sDXHSGkJYuIBJp3c4Rs6Zj0FrhGw6Wo2zfsxy/k vbCmzRC6+J/C0S3O4LotMT8/gGTqfj3Cj6iziLgM1H7jRonCAKOX17+1Cb+QcpMn K4Bu+kSJE+TLrKLQcCNM1IqFmBRF8o1B5n7q+r20mG87PfnL+rJpJZj0xCvH/H1U UEWw9Q8= =llt+ -----END PGP SIGNATURE-----
