-----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-----