-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 28 Jun 2023 18:55:27 +0100 Source: cbmc Architecture: source Version: 5.84.0-11 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Changes: cbmc (5.84.0-11) unstable; urgency=low . * Disable more tests with portability problems Checksums-Sha1: 3d520c1d69e8539ee6c47021fd565fc40df1437b 2961 cbmc_5.84.0-11.dsc a104715e094cf4e1f77d9c5236ffd9eb0c7de2e5 57900 cbmc_5.84.0-11.debian.tar.xz Checksums-Sha256: 381844d5d67333e5a0a9ab24311c61bf0d33abb87291e1b52d49816a35d413f3 2961 cbmc_5.84.0-11.dsc 467938b77a4a7d0f9bfa9ad417e9f38cbb0e705735fdcbff0106962dae84e740 57900 cbmc_5.84.0-11.debian.tar.xz Files: 583399551a129ae5385d4dd38dbad9a0 2961 science optional cbmc_5.84.0-11.dsc ea72c0349234ceee87db28ae834cb37b 57900 science optional cbmc_5.84.0-11.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmScevkOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFV6Q/9F7fx+sToXUj90VJwjdN8HwzRnHgodnwHxJ98 0x4QYkyo0sY+Jj/mhUp9wTIDPrgWDwf/OFP0SbAaso1dDfSG3wNVlY19eLqpqKNq UYOVqKZXHGrsPSzlRwXyOkA6sIvmK+TjicVFQaU0l7LW44ODpeF34aGAPZENVGBQ HQv0teI087RIKgHr/RaUB7mAtHWztLjImlwRWAmQwAeE4jzIHb+aJTVqMSGT1Cts 8aZRBUKiH9CZkVUo29EbvphaVV9zoisBpQZMECrSR4q0Ykcj9DzbeK2W5KF9hrlY hqHc+grfeHfFI8hC4Q/O7+7s1ZSGjdIVyh6brXXyrha9mA3CHnYfChS+79dx0VrR 7MQJnMPjbrBnvdNPtpWEtwmnd6Hl53D8HfB1TI3VV14TUuuWyo6Gm6n5HHzIL/kT ZERxDfCEeB+cBf1/y/0txfbKXqPP9Ci4WeLJpMBZ/laxIZrmkBys9SQFtgeZi+Io iYRqj7+baWDlfwvEnqeub+Oson5q5Fdo5oaQqxCRe1imVU3vk/IEtEPdMn91xEA3 bCY5CJBqu4xMqTqW2UE90fhNViO9x/px7dliBllH3Ocv2vhQ4udVmieS1zR5Wlge 1lUyo2dmIkSt6FwcVVNAPYyYFVDXY67hXQS2H/DqRfZX+Vp/5V/mpPgz6B7NCcyC XDCoRKw= =LJHH -----END PGP SIGNATURE-----
