Accepted cbmc 5.10-4 (source) into unstable
-----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-----