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