-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 16 Feb 2024 14:14:49 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.95.1-2 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 jbmc - bounded model checker for Java programs Changes: cbmc (5.95.1-2) unstable; urgency=low . * Fix portability problems Checksums-Sha1: 39270d204d73c56c65a814e53358e5039bcb2be4 3054 cbmc_5.95.1-2.dsc 277e7b3db345c199906d038a7a4b0f9bcf93a5c6 60396 cbmc_5.95.1-2.debian.tar.xz Checksums-Sha256: 9cfecec9e5272c6d9cad79de022d8c66ec9415784ded562a1beb6906bc6b2cdf 3054 cbmc_5.95.1-2.dsc 05700f1c63e308e1f2b2e5929a4daf03c9dad58bf5c0731d85e2ee8d50673ada 60396 cbmc_5.95.1-2.debian.tar.xz Files: f16fddd53d83130c07df71e4a72718ca 3054 science optional cbmc_5.95.1-2.dsc 8958b58b5925d5a4ba4b608e86d06f03 60396 science optional cbmc_5.95.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXPekAOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHoLA/+KpAMibZWa7FtuWSNNR1gfSemzJKbJPFu0Ecs ATKa33oCtsVYwuvjd39vmS1X+UwRV/IMfQ/A0kKeGBWZ1nfEWxxZwZGNQDCfrZp9 FtYgCgwBrxF3D5sR5lZHO24w9mCS36i+WHr01BSuN4OEyMp1Cp9rW12JLi1OyTts YE4lC0/GueWG+BPOHvoOFQ/kALwq48v8OBuBbEN0WR3aduB9okQvkCd2fCv2Lfum 1jvaD/pE0He361AgaTRVAaqvYmwy+uIxwQz6bqr2hy5rq5D8HQKLDE3DXp1IFGlF cv6+XLbPvh5RI8rwGnvCZz0YWHoiVc7Wppm5iqE5URSG5qzVSXbAwPsv+0PKNK6b bAxLbjwFsQJk318bq3J7+LlQ0wtFiqFW8GNbtgGofdYtVWAC+1lJq8KIdvKIhygf g6yR0jhDqhZSgo6bUTYe5WWf3Ro8q7GD7vUDEL+D9ACJ6YtNH6SgFaBSTywkcubZ 0Z5QPYXOHuW4ggS4mtSHPEYc4EqqsQaIrCMutYIFftNBzEp+sqmbi+zmLblcGcyY ZFKJSanztELhqdGS+d9UtjqEhsc759V9p+1rOystp+EIUt45C7snXB5bkcGMEspN /k5ZVOq0g3NkVXAxZZgRPLSA7d6b4MaJCoV5Wqo1FE/+JCL/nqdhe80WhzijaH83 xPQd6yk= =O5YY -----END PGP SIGNATURE-----
