-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----
