-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 29 Apr 2025 13:54:42 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 6.6.0-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 (6.6.0-2) unstable; urgency=low
.
* Fix Maven integration for regression tests
Checksums-Sha1:
101c9a8a29ccb9ea4c5ed6adca05b43786ac15d8 3048 cbmc_6.6.0-2.dsc
78d1cc9ce68b1bf4f9261ecf7049c68dbe3a8bcb 16272 cbmc_6.6.0-2.debian.tar.xz Checksums-Sha256:
e47dc4791e461b90cc6d3b5f294af20e4c2ffd7e712b888bea55c33fac0c54f9 3048 cbmc_6.6.0-2.dsc
2dbddbc8f1301eecdab9952f9f3ed4f6f9dc55c7564851f89305bd9f0c0c8cac 16272 cbmc_6.6.0-2.debian.tar.xz
Files:
7143beb9434fafb801e9d582c8ecf286 3048 science optional cbmc_6.6.0-2.dsc
5aeabb154a7546b2d83e0f29788d0680 16272 science optional cbmc_6.6.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmgQ5JUOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTF79Q//b79qD2qfJ2lO5Xz2g7i8j9OIpm4lMgIB9kjG McPqFXtAPYFTKYpEoojcVlSyTW43Cis4910xKhEombRPEeL4Z+9vNGCacwtikmng 302RWOykch/xfY+acjnMsfrwLYYmFtGiua4AzmF+pnqX4FCU9sSJisflJ4u7tYJ6 yQt3JKSI17L4OdQuosOlURWCFn9QouqThmAbvsZka0NkbB2f70n7+1cov7vUUYf5 TBwaan7ngXl6tvW/ml/FbyEAqL/OQU6+nyey31rsGZJWcPSZGOBfl3xkE+2YgqSJ 7QUZ96e6mcf3ghOw0WZ1tGr8kC8QsLvinbrvh94/9QVOUQi6Ld9UcGzHtwUmZjbr wj70sH6su1rc1j39KxctWGqvWqIQylKxJ+7sUINf26IBiFAOCBIxw2GWiPdMP/h4 eJARQKvDpMuGVWseG1dKBjYFlzPtUGNxNz8ZvNL3VvieV8i8NrgakTgvQOr7PcZU hbnH7zNFvWzvM0DYp+nHeLbA0nMJb5i5g8apd/TGesawhSkUnWSv/5Wvtckn/3Hn PGqFYYi2ldgAQP0//WGOYksOt3FzxLprUp9YgYMximgWukJtKScI3aLtNWplCu8J QFUDwe6zN29Zul4/RBgUUlN2SSnEGkwOHF/aiPNveSIx/unQ3BLq6mQ5wPViqBke
DYqJ3fk=
=wMHG
-----END PGP SIGNATURE-----
--==============374930327416553288=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaBDnYwAKCRCb9qggYcy5 Ib8tAP0dT5OgW4dIG8ChQm7Syxx7XEhJXxLlGxB/t9F7cceUqwEA0qpy483DSzIA Lo5kyPMIUyRhYPhrABZZvsjP0ZKuegU=kZSX
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)