-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Jun 2023 18:55:42 +0100 Source: cbmc Architecture: source Version: 5.84.0-9 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Changes: cbmc (5.84.0-9) unstable; urgency=low . * Disable more tests with portability problems Checksums-Sha1: a0fe004cda4edc1c59225dad8e36f8f023018435 2957 cbmc_5.84.0-9.dsc eeaa4d1230b00c2be74ac8c1e381b516c0fc92aa 57316 cbmc_5.84.0-9.debian.tar.xz Checksums-Sha256: e135963b628406155436f482337520548b5578b313a31053ed02d3b42dfcf38b 2957 cbmc_5.84.0-9.dsc 2a9608e9d40ca12aae6a61c69b187e2eb4996ed1b9ec97183c59a9cbd754874c 57316 cbmc_5.84.0-9.debian.tar.xz Files: 916bba8894450be75db1cca61270ae38 2957 science optional cbmc_5.84.0-9.dsc 0b37f495ed6038876df01ed1b42cdbb3 57316 science optional cbmc_5.84.0-9.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSbKGcOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGcyA//SxoAPLLyM5Z4wmNmZH8VefWkaKHy5Iu0QV94 nfpb/ELig99O1A+E54ZVSWb+ZrGgczECWQekFDSj7kCLgJY8i8CxL90lhNPDbEGO Roq0AfTKmH9cXgAAME3Xbamb9xA9tNO76lj9AEhGrpnbPHoaRn/hrj2g2pfT0tca JiABWwE8yaliPZvkvjUvngIO5vGgAsO4RLk0tnwjg5LuX3uO9g7/35HMbtNM6zv7 mnbL9LZQaV89zak8ukAs7BVbC70IPL3y6rrL+3E3w+kPamOFMdTox93jNqMJIJ8p c9q0v1tuiJvt3G/HqvzUd2Tb9LYB8Wj1MwZ1IISt5ZEhPaAL/RiYhEL6liXCZEh8 hrBcNy1cwXwWYB7dNoKluIUb7vJUAWdt8+sgN+NV7yfXiFtgBvCM5zbRjWdc+nw3 hP5VMSxXqS8NeuMm5HNhzYQxQ3SAy7SZaaLhPUjf6bKhdBM9G6HQ4VaTKOwmY8m9 Zza416wGaKLQ8r+7QYzybr8oNXIdXW25e2z77wG+bVq9M2igiTfe8jpXD9Inye8C cylxHS0goQMqv/0UDpGsAumRBlW55TsaFFA3bXCaUpLHn4MmbY/vxJ5emGhIFA78 T7gdCsq5eWhgFPNOA/frHTanYGvkowgoziZ0cbci2FJLLIhjclEv7z9IdsH1qYhj RwdC6sI= =y1Fu -----END PGP SIGNATURE-----
