-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 05 Jul 2024 17:55:42 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.0.1-2 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.0.1-2) unstable; urgency=low . * Fix portability problems Checksums-Sha1: d2d218b612b38755c2058df48f488a18688cc553 3048 cbmc_6.0.1-2.dsc d71859fd0ea4444e6a1e72330b2a58bd3a6e7e51 18072 cbmc_6.0.1-2.debian.tar.xz Checksums-Sha256: c359d4ddc907071cd972302f9b4cdf372400c0b0a22f69de59ce0f9fc5f3dcb7 3048 cbmc_6.0.1-2.dsc c1edb362266c24436d2a4376e5fb9cc4f626d493c6913a6b50b926624131c703 18072 cbmc_6.0.1-2.debian.tar.xz Files: a59d2eecfe3f4dd48298ae1858805683 3048 science optional cbmc_6.0.1-2.dsc 138dbb0754a2fa9e1544f2b91e4973cf 18072 science optional cbmc_6.0.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmaIPvMOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGqNA//clkh3jxyDG+hw18XBJ3nFjvIfPh7H0DEm9ll pdyaFf2H1NYjWDJXEvU3AyKqBf6H+xWx0dR+qFwwxJfoSul/NcXUFU0ISyTtifrs GD5JxTFkI6aH1GA71AEzIwSvOwpeit8ORlcEerF6beOHFuu8rSy9mpz7wW2DBm3P eYCyuRgyWA2tTm/THnSBCj1JlijWH4U4m+9g2XUzSdaq26wS8iiHVW3Nz7kvgLJT ok5tn07FMcXMi9E5OrO3N3umCLfGz5LPnLLIIHf1nTw76FZPULH+Cy2EmcP15eb+ +mysFU7Ji7BMgMDuEAyujWKeSdOnGz0MBfBWg08qp91s11E8kdonBiw6UbR+Vbnd 4m1rSD//s7xHqNrQi78ZzAK/FtZE4sHxWLgUn26RaSIgDTJFLWXp8+b5hI3x99Ub BCXeLN8hgvEmYd6rjHXCxCr/i4l/RZmLqcF2MOEqLAPLwyqyf1lALbSzWWjaL0WK Jzt2TAurO4a/RJLsRypHgS1Wx1+/p2bxbSUidutCfTIbQdPB9CHPWhS7Nl36BAtb LVKb8w/Eh+7qesTxbvL4HE/sisJPU5C3kSHCdvoaYyA9EcyteRB/gKceEAGBSO+Y Uu5xWp3zfB6/JK9MZixMhMN0X7GhuLz2NOpXF0avNuINbAt93KLMkLF3mmWY7IJ7 V+ja6jw= =msgP -----END PGP SIGNATURE-----
