-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 28 Apr 2025 20:41:18 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.6.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 jbmc - bounded model checker for Java programs Closes: 1096417 Changes: cbmc (6.6.0-1) unstable; urgency=low . * New upstream release, which includes C23 support (Closes: #1096417) Checksums-Sha1: 67fb4d8ceba5b98539ca682925aa91249b07f5b5 3048 cbmc_6.6.0-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_6.6.0.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.6.0.orig-java-models-library.tar.gz f3e38c93d56afb44e4c078b30e0e343c96267258 9146661 cbmc_6.6.0.orig.tar.gz 95bf64891d7dc4143bfe5a26e86deaaeb95b8e44 14024 cbmc_6.6.0-1.debian.tar.xz Checksums-Sha256: ba803536466650834581280ceec3604cc1f620b6a2c88a6a9de8da976fe3b144 3048 cbmc_6.6.0-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.6.0.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.6.0.orig-java-models-library.tar.gz 86eb29e9cb1dd74fb82eec9ab32442a35449fd6db84a4824bfd834161e8d3a48 9146661 cbmc_6.6.0.orig.tar.gz 76054d8e26995b1eb807f0d04ac105b9bd98c6b3f61031644dedcd0eb71c75c7 14024 cbmc_6.6.0-1.debian.tar.xz Files: 67e5a2b1174c78a3eda85b0f374cc32d 3048 science optional cbmc_6.6.0-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_6.6.0.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_6.6.0.orig-java-models-library.tar.gz 5f5dabbc1f59abe75f322566d86a9f10 9146661 science optional cbmc_6.6.0.orig.tar.gz 4a934537ca17f09c83f5b5f2d60386fc 14024 science optional cbmc_6.6.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmgQsZsOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFZEw//Se/+dekjmlEPIzEExqr8RMYpGpnfFWLktTVn chFeC7AiFSxaSYP1swo7fZfbjgypMBsY4UPi8msGf0M/+aE8U06sI/LjWy1YdqLq p+WfmrXEK4LvK0aKkA0kxdCGVqQuHt4uyikGSAS8bekn2PSexze5mVcC9mOveajr UnzGD82jyworY05Q/VXEdJI3rZKwxEMVaAoeLO9C783raO7Hv0orTNgHiqwrJdhn QRvKE2fMRmr+hTadTFXB194vHOpEJ5zKzvZpQ03vdh7Yl6eRvkcUOo5m/x9z/aCP vbk0XxwvCUJQvgkb4zA4v/a8wzHphsKMn2vRrBG6tRU7akhQ5Xa18+HmsB9kZPqk tQtZjVLxaLsy1ZaPx55ne8oM7NRgSknhWP7puszXym3jehy4Sngt0LlvVdk9+91K tZ/fmVa+rYDRH25cMp0IOiqABCtzRfYfrkKKTYYF8+gJ03WqADiYbRsunu2x6/ax nFyUG229it6K+xKpCUBU+0Fo/zLCoAcLUpvlp2lLyXzY6YjYNz1Kf87cHaqK5rFU bviPNBlZlZed0nRFnb96SSEpsi9omhjuPcA0Dc/kgDvpc6oxsTprZoAmdLkX6vMC OAmjvICwBQSAoqsLQxFTmQJlWbRakZccyHfv3aew01GLTHWmhZsVFKY0qZzTv/NY kBsVxN4= =5qz3 -----END PGP SIGNATURE-----
