-----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-----
--==============b97106693526703878=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCaBIjxgAKCRCb9qggYcy5 IbASAP9LquPG5eEUkD2nXu++VTZ9GbjyU9ZraGme/7jhZsB8dQEA9juiwjG048RX Ytfhhzq1fBN8T2WshTpHCoU22xwBgw8=8vFM
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)