-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 22 Jan 2025 08:38:54 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.4.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.4.1-2) unstable; urgency=low . * Fix portability problems Checksums-Sha1: 545bf9bc5f303002822b20f50c99f2c1af6a33c7 3048 cbmc_6.4.1-2.dsc 3554c098054b491dcafe468f180c2b1485a0240a 18324 cbmc_6.4.1-2.debian.tar.xz Checksums-Sha256: f8333ad5a14214aa5688bdc9a4ba765b201d58287902c6de92f26aa5431a6321 3048 cbmc_6.4.1-2.dsc 2a65117974ce861e1cd94a47a6edade7d35998ec1106f044fd2a91e6df7bc937 18324 cbmc_6.4.1-2.debian.tar.xz Files: 6eb5ea96e85fea219e2e4b8352252a78 3048 science optional cbmc_6.4.1-2.dsc 1e4b4d3273b75b810dd648f3eff580e9 18324 science optional cbmc_6.4.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmeQ3EYOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTEEdhAAoWp6d/LHNfufe9lQaTQJcoeMsjUG8+HDTQTF uIMKqfFk93l6rRTft6whWDQYp9BkE63KZly2FGOV4ekemju+c8xBJoczOrb+mWAj dBcxk+B9wFR6Yad0TUGQDZbxRAPeD3BCL2SDXs9M+iwzX4ypZKeNIAMQk/b+vLs6 S5Y6ixFXXeZQ8Rhu+zgykznEEU3czqfLgTf2H7CU96NdOuyBLfKJGIaTwMEWPmsT FipofUXOytAvl0TRLDHkoi8nzJfW0wB/DiRhmS2bEoDoH5CnlEQwDjJdLOSDbc+B W2SjODWYzKoQ6sW9IJ38ZL/6jj8bflXA+z7KOkGougL8k3fX5p7o4CdN3mlHLtJP c1eaut/39kknsIJ1w0Rg7iUnJMQWtkMzOYsBZ3o0CwUOd7NrLYDaa3MwB6ejKgvG hHdwAtaoY9GZp9KbrRsKhwiwZfISI9Rny7PwHs9KejAD+OxgPcpSi7a7DUDndSfs p5A1zzkw7h0EhISUX1pFwRTQ5GpTo8187EjXkd2B2CgVyWid9//LpaZdsVyySHEd F4e+1O2KyXDTqA6MLIxgBv7UVv1XKmEFvPkaCKniS+QJMM8TH5pUUqY+I3hYzfuP aVt+uIeZrai++9V3faOQ8yfpPkB8cKL4UCqKVK2iqd+ywltWTFSF4ZYRkDRhT1gS tqZzVJg= =MwlR -----END PGP SIGNATURE-----
