-----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-----
--==============‚65251082112319527=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaBC2TgAKCRCb9qggYcy5 IaHbAQCGxcIkiftzknJmMTTG/ufxQ23bfTtKTwNPj+2f+sxszwEArmIsqBpntALs hRmoLTHtWO9HL7SZCNnRVRRYdCoQWgw=X+j5
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)