-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 30 Apr 2025 12:16:16 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.6.0-4 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-4) unstable; urgency=low . * Fix Maven dependencies for regression tests, again Checksums-Sha1: 4a4bee4d3840a9bb87688b75b1087969e0469b30 3144 cbmc_6.6.0-4.dsc c67b6bc90137a9aac2227baf928e0f6123365858 16492 cbmc_6.6.0-4.debian.tar.xz Checksums-Sha256: 0ac2837abfe9d15970366babb83b6e37a375590915405c15d1d677eae8ded59e 3144 cbmc_6.6.0-4.dsc c53e82d546c38ff4deafd12de72d2feab5c77ca46f54569717f41933ac0b486d 16492 cbmc_6.6.0-4.debian.tar.xz Files: 9be5c467b4b3c1919b88ce9ffdbc07c0 3144 science optional cbmc_6.6.0-4.dsc be6798a9aa89cf33e3b748d0e553650d 16492 science optional cbmc_6.6.0-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmgSHpUOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTG22w/9EJ6OfoGXhqQgrqEnP6A70q4Wrsk8uUfuX8rN 9zGmIZZK+K99CjJLb7uAp+YeymM9jTk/Gc89NN9iQPULD2M4ILtrs/+1BJ97OfBF Vl6X2hoM1z6iOKstVcm4m0ZkrU7Kei32aNBztdhGwHiJDDfAKsoXJk6uCw7Ovao6 pdj3ehsdxIOGLq8YDJ+bA8y8BeNY7rII2LpIX2GwTV4clN+x6Q9xq9us8zauu6Lw fZJ2ew9S1GXBLoKBolj1u8z0+Q8u9Wwhx5bzI1oPvgKoW/aQP/5vEuJLH/ptVJaX IiaBy7bwuiLq9sgHUS0kGDhsrbeO+69wpiigcPiqZPXNtEfpE36zUZcyaiEOnmY4 ZGMJVzJmv9oyni8ArY6TlVrvUSp0ze1dnkNiafoqv/M9AfDQr+agtWrYXsJgC5TB IhWbIUuZpIw8xIZXQatgOYyJ0bboMnSZfTDUNXzODecqNy0QxUzv2L+g95szkCeH R0KtJqE1ZGy882tqqXIvPgQw7LMunYDcSCnbOo9m36VWHHck7N6Scsc7BDDYzFGw Zsu5NXw+PjdUZ6ByKI/s48ggOsHZxZn/IrPA/ENJ4QbbYZ0YmbnLibZRzNqP1mS+ T0Gqy/0Ccg9dLlWV0FaO3sGSa8uJ+YTvTvLl0eyOqN1L7vMUUe/sWEhPYKbvPiHV e91t9jc= =k3fN -----END PGP SIGNATURE-----