Accepted cbmc 5.9-5 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 04 Jul 2018 16:50:58 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.9-5
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.9-5) unstable; urgency=low
.
* Add support for goto-gcc on kfreebsd
* Fix regression test for unsigned-char architectures
Checksums-Sha1:
568caa5f426c3582125de6bf8a9056464be1a821 2081 cbmc_5.9-5.dsc
bb6ec4165827aa9ada8392b2e1c4d239c1720695 16820 cbmc_5.9-5.debian.tar.xz
Checksums-Sha256:
d0aa9a5d626907b2e6b8d56230db229cbbc050808fbbcfa86f186eec2002db9d 2081 cbmc_5.9-5.dsc
4de55b96669d198ffaa96c16a394f3a20ce89e790d405a27fc118e6194f4a59e 16820 cbmc_5.9-5.debian.tar.xz
Files:
0493bc2921dce50118f46775c5ab91f1 2081 science optional cbmc_5.9-5.dsc
857b0b16546fada234a66655c1498d10 16820 science optional cbmc_5.9-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls8+bYOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTF9NQ//fXv/gjYUmoN6HoCAJzFPhYAElkeiGL+rB6ak
6QscYLhAF/zREztT5GiVnsPJ0bgDqUzcW4P3KHFMtqlcxZ0rOBoYxkMsC3zqlNmq
fBhQF3Qh00XHuKSi4cijPIXMIaNg+2OsuKlDzmHFfCbWLO4pUgJbEaObJxe61WBo
ZMG5gbFRL0KxCICDlxet/3VtXFn1Loa4Uk/njixjxfiGLHIa5aftQrJopax0+gLA
tafa8Yhzwol0MgsIpJrPrh5gfi2bjDlQ6xmyj77z5LOFBbusDlYhlnUdEfmJEdfS
aefwuXTyPnHFB72Hlrf3HeBOyvlXupltCPgGwtufcw/cGASxTxZeBWOWCcxn2MMq
hY3ZHtmqiiJtQmVcVyMpjzjBaOiYLiTun6ysy7+KWSH56XeyqZvFb4VR/Cq0xk/l
N0GmSxa7ik7LO3lBYxpvQk3GJLlKwhnQTBgo8gUAwN9qoUsxyMGy6+Tz7AgeXLSJ
kmH7jN54w8q2BGpz7GwK1zCZX4JQ4Y2btD0W/lP5KIMsSAym3N+t5lUhz3w22qub
r6EJcf4T774425JKP1g5vvi5fnez9y9CKBNVybDSrpXzuK2enn8FeC5jHzQijl+o
imhFLzuYEmHWHwNaeOzOvFPT6cpvQ80HImV2eb0JEM1qwKgLkacX9ZhLpPk+QP6C
X7pe2us=
=OGeO
-----END PGP SIGNATURE-----