-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 16 Feb 2024 19:10:17 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.95.1-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 (5.95.1-3) unstable; urgency=low . * Fix portability problems Checksums-Sha1: 9f670181dc21ed4fa9f982c3358ca58d7fe5348f 3054 cbmc_5.95.1-3.dsc 740eb085325be982722bff9782e77564b5e70821 60780 cbmc_5.95.1-3.debian.tar.xz Checksums-Sha256: 5e85401140693c210a650312248ca207a7527f207ece3461d3fd42f6b88fc6d8 3054 cbmc_5.95.1-3.dsc 97aa3d45d4e83b930cd704de6d37098da835485600955c0831ae62da75cb72a8 60780 cbmc_5.95.1-3.debian.tar.xz Files: c4b596640a74a3eef3446f239e304835 3054 science optional cbmc_5.95.1-3.dsc 63515a99958622a689456cd44e8f0c79 60780 science optional cbmc_5.95.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXRIhwOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHZUA/6A06lI9E1ymS2TO37UY0OB+mi+4mkU9NHP6fP u19NQtnHDBKFKX+abTKtNGgVlysaTTfeC928K1bwwX6ZFX0cKDzwrQHGQhGpVeFU HEjQs0wt1z3DlO0JeJ7TOZzFq131IQHU2zRTe5CHyuCtE+O23j+qsUfPeKZT3XPB m7iTQzXt/WHXbIycl2G7TI3ML2MirZZzTP1do+Vrd+QxCRVPxXEcURBhoqzZ5Knx YE64RZd22px5yLm0/INBaaZ4ByOdaYNObCoh+cp6wSaffdTO9tiu0ShSJL0T645+ UYIENCMQhPmM9S8um/6xBbLM2XyRPaVMh+1a9KiERxm76GmimPHmHUzhFTO/Vwwg CyAdwGVRXglfaz85/dhbdzLYEqQRJkXUe/jNffOXoGKngVJ+pIEYAPtO0YrcFYac ys2e45tzbL+4jQ42ncalb7vV+272hBt7kHrCEu8fm1a19v4lsYHjv794adwohqYc 61/7rIDQOHTggKjoSvsgrb5VIXGXmDNUToyathGZ7ecRaYmNfV5L6Fygp6IluW+J 8B1FIXPRA3z1uvDnMm/rFPvShsZFqAKzHp3Ry7jFpmKFz6Km/L6ozqntTQZ/LW4M 0wsvuBZ1gxFBBE2dufTNHKO3n71QySgkLXyWdDR0n7aZgJewiTNNENi9JtwoC86f eAtFDgE= =GLy7 -----END PGP SIGNATURE-----
