-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 01 Oct 2018 08:00:38 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-4 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.10-4) unstable; urgency=low . * Mark java_append_char test as THOROUGH as it requires more memory than available on some buildds. * Fix-up __float128 patch for ppc64 and powerpc. Checksums-Sha1: 58668c65ee9cdce7e7b923021383f426409dfb96 2169 cbmc_5.10-4.dsc 2313da626658ec39bde3fba7a2d5e37f054413b6 12532 cbmc_5.10-4.debian.tar.xz Checksums-Sha256: 9f30ab07e1f3e45baa09b5eb17ed1a31f1d186695efa19976d8ba1d7d8bf95cc 2169 cbmc_5.10-4.dsc a423deffaa84a6c9c2d92dbce1950a92d6dda6b5155cc702bd19d0cdb71636ec 12532 cbmc_5.10-4.debian.tar.xz Files: 5596738a4d56b390ca7950c8bee61975 2169 science optional cbmc_5.10-4.dsc 6fe4d5c9afd8c5111831c3a8d33a1be4 12532 science optional cbmc_5.10-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAlux0osOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHGNRAAgkDJGyuRxcmgRA1YStOXKKseaLOQz5bRGaZ8 BdlomEB2LsXH0UI0jFiWqX2utCiIwG9AXLgGuvv41g5sXwO+wQinDZzUTAQTB5mO DhzdJDy+nFT3X5q7cBBYX3UGEexrg/2SF6fdbYXfFEeQxJda9aaE2dVkWivtFDIP CG14wudSMqMxHvdR/CPBjOjINse/VmsV3oXqRrzcV8Qlj9z4x8Wka4sWbWONfx// b3KyJp7dfhM3i3IPl2xtAPtT/JKKyYVOA5LbLAGL/7zi0MSCD7QvUOB5rq4ByMCM efZeLLkR7nExOkCyN9fEPZEF6oYKr76rzDmboOjsf/EXEPyqGzvcmZXofExR7zfA 4nB/20YfXmOBDnzlCSSXRH95xKbUHDMk0Z5txHaLdjHQpR++GJJ3sqwnw6hShlpp LcyYYWrCnmC8kjdVFHLZyIY9/nVFlxKG2d6pHxWeubXNb/UnfNYYBSSx2FcZotRH AzjlRYMvbHIJVwjrAvx1O6Xd82ozQr/qT6P+ffij85MsXtVILNjzXMZYO6AowCSX In0GBCEsUuFXcEm+1Vx0HCp8xw4YetojGh2+2uDGAF5Iq/4CpR9o9nddH0hEBedz IFPmQ6Y6XnNTSWoAaw+09SPCWnSb36e0effNL9F2WA3rrhMiEDJp28RRH8H2Jo6d PKG4pD8= =VViM -----END PGP SIGNATURE-----