-----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-----
