-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 25 Jun 2023 20:14:35 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.84.0-6 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 Closes: 1038866 Changes: cbmc (5.84.0-6) unstable; urgency=low . * Fix further portability problems (Closes: #1038866) Checksums-Sha1: 963f5f7c07aabc5deb153054b27525eb98037437 2962 cbmc_5.84.0-6.dsc 1b7e99078453e76ea7815a0546b57a1292d51e34 56280 cbmc_5.84.0-6.debian.tar.xz Checksums-Sha256: dea00926498044150e7e11417eecd3dd84bbcb10f5465b1a7cc94deae5eb1cbb 2962 cbmc_5.84.0-6.dsc ad9a0908a6673092701b1ff42a8aaca5c54b0753f49ef72a7daf3cf6ff25e039 56280 cbmc_5.84.0-6.debian.tar.xz Files: 876111401564d8ea6639a56eff662452 2962 science optional cbmc_5.84.0-6.dsc 611f6c94df4427f6af9e413d166c671a 56280 science optional cbmc_5.84.0-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSZGmIOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHHZA//aj7Hr/8Ph+2wUx/ACzB0rhzMxu1n5GBePFuz ikQEAO4/HB4bvY5VEGfuIWtW+JNy1dLcmdc+65WBnEw3pUTRTLdmXbTXlNeiznf2 /1oQp2CC82VIhPkROnUyR5mc2qgDS05GAU2A4O+AT1ZhQTMJjtQYfgm1BIJjrOqd 5w/kZRbEYataDReXh/jmTlnzFCFm3kkvS1shQOhLIBKAXXbOJaXQAR5t2QgvUNC6 A6Xre0I6NEZ5A69tuB0BsM6I1vNGz2ZXGqubM8MuR3PtwzVUjo4Lfj3dgN4Uz2cf xy0U68j8TVFTmL3gf/Yqe5sIKwjH7YdJP7RDbS8ztGOvIFegDfrs2Qxr7rsFf+JF 9ba0l1CrkWzdKsYjSiFEvBz+s3ZDCTgHE4V3ZP4txlKKlncIAkQ6k/DDzmI1OBQA 52DgXhfB7kjv5MrX15cMLT4t1IPvdsIw6bmVTkdSRyZsPvlzjHGTYQFPM9oJQSAt RuEHYFdSbxPnY8FMddGZFzlPl1HAiMdyPlsrS7E0h6nPTauoDDOyPJSF5xXyrk7p YUT/hTeu3ngiw8SpT1YW0rkw6fyDx+qhRhGn5CaGYhPqDB0iYATr+vrPa2aVAZ1k 8o46UGPq2q5IWXHpcJmZxhGnr4AkNmRwQwY+jW/bZBiMN+8YqqYH/wcRB/qj5ReQ WvBR2Zk= =RigF -----END PGP SIGNATURE-----
