-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 29 Apr 2025 15:51:39 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.6.0-3 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-3) unstable; urgency=low . * Fix Maven dependencies for regression tests Checksums-Sha1: 63a1755163594b2c1f61c48e02d90cf3952da0ac 3144 cbmc_6.6.0-3.dsc c99aa34e9fcfd6abfca17dd6089beab1003a9bc0 16384 cbmc_6.6.0-3.debian.tar.xz Checksums-Sha256: bb809838a13c5a840817f11328a2e3633f3d8143c1381a114d0394aa5ccd4421 3144 cbmc_6.6.0-3.dsc d0b4124b381a29d5241a9cf47ebcc1789d952e845a7d2d18d6ba8e3597ab923d 16384 cbmc_6.6.0-3.debian.tar.xz Files: ee66c344d4257e63b1012b8349f13e98 3144 science optional cbmc_6.6.0-3.dsc 044860253bd5215e9a111d2ade127063 16384 science optional cbmc_6.6.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmgRJswOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHTXg//WB/Hl+4IhYWh7+kifwXVCbIj9wp7r+uYTFba dnuBw4AREojXGgXBd82f9JDWDBoJmR8o9dvqgbWb8XnRa0LrfwaT1pz9VTyVGBt+ 0Aqc03J3C8C6qfSg2kWAn9IIKkKlsBtw1gYtJNKztwWHdlbNq8icVcYQH2D2AvKD C1Jy/tBTYvBtMjXyoFJMFNO5aqC0gb3j4uophxpU9wIdm7DzxQfL3w79hkEtLUYf U2nZ3J6dfdkl9IKKUPT+dtkuV6KYlgIKuXAclDZEoJHftGRrPB522esi7cCywRUr a/c0s/Mg2MLrjKRe3p+BNfuajJuVmkKmzjXOW1kzvocfuaVFc11iQJCMFZ8Vxtg0 l/ZINJ7IOQIpGAmtNDhrBiK3iihfK/Q0x6/r02XxfZsKXH2Vrr6dCax5JFE/uzc9 YfeT7dnqbG++WS1RyelmXAZDhQPRaxmopaAQiXJCcUBdjY6ZSLeSnTg3OtJC92gH n49KnUqBKiEMGQkvf5bBFeNH2warx2kNG6aMXI1RZ4Uvga8ThWPawuV90OYSLlX5 dG6RMSzE0RbHN17JgTRDLN2c4dvp2HGRsZROvvXp/fckKAr/tEFV6L0fLXgTWZvw BVVQA6/RbpHdzFTvTmsN9WNMD5ZAnkc4xEEJeaygy7N8wB0wFHJuVwoiP6+JGJOe VMMNmPU= =UTkS -----END PGP SIGNATURE-----
