-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 31 May 2023 08:18:04 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym Architecture: source Version: 5.84.0-1 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 Closes: 984008 Changes: cbmc (5.84.0-1) unstable; urgency=low . * New upstream release * Includes bugfix for unintentional copy (Closes: #984008) * Updated Standards version to 4.6.0 (no changes required) Checksums-Sha1: e66acc28d9b2945fdb45bcaa415a5a6d2a6cd00d 2582 cbmc_5.84.0-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.84.0.orig-java-models-library.tar.gz 7ff969545febcbaaf14f8ca1eb61711ba18e1c4f 8975338 cbmc_5.84.0.orig.tar.gz a0e2edb8e7d3e16e1980dc03f049de57a885155d 51972 cbmc_5.84.0-1.debian.tar.xz Checksums-Sha256: 6021133e67715c2c2d56f843026903d4c529aebbd6c1ffa19d558a96f7a6c499 2582 cbmc_5.84.0-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.84.0.orig-java-models-library.tar.gz f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 8975338 cbmc_5.84.0.orig.tar.gz 1002fc5bc0cc550f71cbfa3c70466bf5f868bf3f019b9f60b80326f838e85451 51972 cbmc_5.84.0-1.debian.tar.xz Files: 733bc8caf85dcd369eac3aa05e265c24 2582 science optional cbmc_5.84.0-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.84.0.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.84.0.orig-java-models-library.tar.gz 0298953d57eadbec1ffdaf9d04f07cde 8975338 science optional cbmc_5.84.0.orig.tar.gz 1bc47d81da55d1f869674dc819e95e0a 51972 science optional cbmc_5.84.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR6PIcOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFy8w/9H3dWocjWkkcm0h8fRD4JK+3ogDzbkIxpEArY nMGG/vNhMOoH7sM0LkG+K65eyWbeRjDdrMFCoKkw5SY4DblMz4QSKGE6fXYsNYqr 4EXr7rs91zqPxlIBbN4FjnbIU6s9kGsX/6P9eP854bXJdLfUDobQrNWa8ufDuVC8 UnUpgW6rpUuffp+8mauT/2OyFrmUZfs1lwNeoprn3Z1N6TyujKhOY9zn1OB4YXJt eP7mZNDeVeEXJeGWWQo29WJaZ1k7XcJ6/4DqnuNFf3lgvKspAeXd23/tTQm/ghrG XLBAHEQie/WFTQ6C4WtwnZpEVEdzN85qoRPTdyaSo9hAf9ypKqOHsUVaor6/T73C HyUGOHNSlhdVuG4c8bRzndz8KXqK7+drY6405wltTpjnx/26X3ZPCAa2hmmCVpB0 7ewAAQ1BmBgm+0+Xjd53xT0vuvbjrwYWIOZANEXGM4kMFyhcBh9ZAwdIt+R735At P+SbnBpxZ+gwJuOg+kQN/cJ4cYPhJQUna0fE0NZZM61CNdeq9Tz+SIWeSn+CYGym C3soDmxFgoHnPnImrwj1UlZjx1oFKjTS/j7R+eaODwqlAO6jy46QTyTfpoOqywHj SFyU88YzUNyCfAmeTbhEBMOgZIAvpiGe5OVVJpClMzFcBx0N84+SPYjR6cHxiVrE SpJfY8Q= =2W8C -----END PGP SIGNATURE-----
