Accepted cbmc 5.9-6 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 05 Jul 2018 22:36:05 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.9-6
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-6) unstable; urgency=low
.
* Fix mips 32-bit cross configuration
* Fix Java string literal conversion for big-endian architectures
Checksums-Sha1:
8185ae5c96e708f780f785d45b82fd166dcb5bc8 2081 cbmc_5.9-6.dsc
a7d789d08b0cf72da8e00535da29a988c17dc76f 17220 cbmc_5.9-6.debian.tar.xz
Checksums-Sha256:
f509b9086927d44875614243cac509506ecb0e9bb5663782fcec219a7cfdadef 2081 cbmc_5.9-6.dsc
4fd4ab8b5ae31c94467e1fc4d5ef7eefd5c0afb39225cfabf54565d3c80ff9ce 17220 cbmc_5.9-6.debian.tar.xz
Files:
2da64cc26eb840e511c0ad70eae17fce 2081 science optional cbmc_5.9-6.dsc
44797f617eeb11e2d7d6107761209bf4 17220 science optional cbmc_5.9-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls+pgYOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTH26RAAgdc5TnTWv0vcqq4ovlJHI5P59XH8MeVkoURf
GnOtuiCAKKXT20tPG2YmyDsdk+skyNuwfqbEgp4H2uZRwG3hOW3hoqZeMfNF7noP
AYWpiX7g8jxAYcEtTIc/VMeCvFDBbo+7KTVnixMNx2q1VIdYVTLhJgVBzxVerpn6
JhkBUpLVN2vrkqVDagDGXAMgl5vUvjZT6LO4tWETBd06UI6EZFO7pNTz0h5CnWvp
Dw50BVGE0yQCUCcog12WgrFZdUS8XbfwKryOtU6N8hb4Kh/H8sBylGdi96tttjUA
GuWk0HXpI+bSIBDtUhKSx0LbRMlVNQsJ2DmQwTCwDDimcfBKSYna3XDCO9RwnFaQ
fXaz79A9kjWJswlu2c0jw2RmMVufsQL6dGDoABlfDVylnHZbJtC7BIL8mTaJh+GF
otI7lTHaWd4JCJlLcDotU/4MMsPAwz6jAORqf7W6PhGYYfKW8hDoT5UV5E26cqZy
2Dl2IeKlkIzz+anZM+4x0ubwB27nBkDV4xYwoSwfSIkAR3WuEJJmFnVMcchojE3W
iZtmACM14cs8W+1nbxMhEhFQMTpib2k+mFArjb8QHixM/kG7gEu+Puqm8JllLqp3
k/MAbi0MlGX90oJN/TaATdNVEPsrnbtt9EJ9S37YvIxD95fU652z/a/+nPq9zgeU
iEuGJes=
=RQIo
-----END PGP SIGNATURE-----