-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 01 May 2020 07:06:38 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym Architecture: source Version: 5.12-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.12-4) unstable; urgency=low . * __float128 is not available on ppc64el (again) * Fix acceptable test input * Simplify big-endian byte updates Checksums-Sha1: 8c9e64a03d7e0f521282ded6b13902936e61c07b 2234 cbmc_5.12-4.dsc f575dedbe3c7451d6b88357c0c28261c8b4b9997 19624 cbmc_5.12-4.debian.tar.xz Checksums-Sha256: 8238ca7ada0511b64abfb1638d66cdb0dc928c5e3d34c7a5eb411d0f61049777 2234 cbmc_5.12-4.dsc babf4979b70a6f421623cdf88817c5b2fb1b693110bcdc2656d1f098f2e35097 19624 cbmc_5.12-4.debian.tar.xz Files: 114da843b5a55584b0a952877aaa411a 2234 science optional cbmc_5.12-4.dsc bddfb83f097cb9dde741a293ef59405c 19624 science optional cbmc_5.12-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6sNR4OHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTH4oA//ayTQ+dOfsQox0Ih6+kjjNqaNKPXKNCUrpgcO TEGg2Op0EdeIF2M9LyuceUML/qUgJCStyEzypNRu0WBpq4DfFmeTBfksTnHQBiXm iRm2qdHYRdgaLQAk8sHVysjMiUC5FBX2K+/g8FtPPEfdZrpeOS15G7Gzaz2asAhY QOLR4P4lVanOM5XdV20pWnWwtt1S3EvRcx5MIqLfm3Hm50Zy/14lQiRKGuuryj1S zYAwAOK+ztKfxdq8Ag5rrB8X2hE41Ce0/K9l6JIJYYeFcO8etnWnRJlPhYNQcpZN pDQL50HKX8sJaXzKlT4oOTOC8KJ72e1q1nTrSmuN4onwdG0a32i67KZ5OxPX069n tEIJ0btBo+yUirxrCdTNwFBm+wBjMsImi+c4+zAdq3uPQSLgr0Y4DNYbu5NybCqm ior60bnJUacieNaLaDaoviHcZCsbNPiQQzZj5L4QfWaBiCWGoc3BLGCCBG/lwcY6 qTz2gKGx5BGKFkV2sRi3Lv3V25Dv1kUMLbIcKmvtGxHtJXS4oggD1uvprD28P1rR PgJwt6kAd1GU+s4VJvwrkPL0UhIcCwe334RBw375/ucDyyo4dj6fBpmibegpZMJ9 9ouIl3XHuHAM6bp4bfjJ1eLydR8Mks+G/D6NYVGyeAiETpHxHmGP6pi1mXY3l5Q5 cF/XgLE= =r9xY -----END PGP SIGNATURE-----