-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 28 Jun 2023 11:27:44 +0100 Source: cbmc Architecture: source Version: 5.84.0-10 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Closes: 1038866 Changes: cbmc (5.84.0-10) unstable; urgency=low . * Fix more portability problems (Closes: #1038866) Checksums-Sha1: 260f1353d14720ba6ba663d13382f3280ea39619 2961 cbmc_5.84.0-10.dsc 2c8e7bcdc966abc7949f8991266e497d16ad20a9 57520 cbmc_5.84.0-10.debian.tar.xz Checksums-Sha256: 6042abe4735dc9aa86bcdcf87b8a72eff856907f803e476b92245a8dfa7572d4 2961 cbmc_5.84.0-10.dsc 147383382343868df8bbfdb15e18567e08fbb4ddbaa34a7f8f643fb313420a3e 57520 cbmc_5.84.0-10.debian.tar.xz Files: 81f946388254190cf015c403b0acc4ca 2961 science optional cbmc_5.84.0-10.dsc be3b1c59eceb774bf5f2296d4c791a3b 57520 science optional cbmc_5.84.0-10.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmScDBkOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTE/2Q//Si2Ue21dNLGquTXjoUHu2Ly6AFRreQXCKUIh U4NI9VA4U9ucUdOcSQB6VceefhyuDn91oifuge70bd4WtTOYAkwIiFSYzS7iQvme e3YitnbSKayZ57saskDqnhJN9wPKFTaG3TJfm90Y2m0ztO4JkmUy10NJ5XFiVyfB 8K5TuFRaOkTgqNDG7gkClCiodMtuwCP1ytm6ozIlqDQVGEiScUcn2B2KjzGR6blG tHM5FDiz3XtKjn80Lj12YVpWxeLvWd37pkGRhf1gaF1WiHBiJ+KIRhPgltwQORPW H//vv8VqefdglOtxlyOrr8CgPSwpXxu4eLEjQJRzrDcnpsVf/tTQfBREYZ6bUhIk YhQJ0YWtOzZ0v+/Alzhsa7E8OKNIZCGfiSBTAitNfdzEIX/r84Xy7I+VzIgJkMBj O7LgfRLRWyB7TTEcAWlUT1bEqT2FdR5rrGmlBFprcQmVQeJdM2Rug2m3A/tfcu4r HANEwQq9NiO0JPpofn1tI+B/yQhTeQ7uLVmWX0i4uVHMWDXzJ5v7/ae3lESy3zyi 2z1PSvEKT29zcwU9tlY16XZ6dt4gD55ih+bcT4LIs1gOvA7pcYmh1vvmroEQO9mR MWKVWl4aZqSAavII4pRFIji38fJU7dMsfWhBgjyBvrNR8Kng0OauaXA+STWkZ8SI 6D+fQN4= =2D3N -----END PGP SIGNATURE-----
