-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 13 Jun 2023 21:27:48 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.84.0-4 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.84.0-4) unstable; urgency=low . * Fix portability problems Checksums-Sha1: e876994c0df89df95acea22c3cb68047b28eb580 2962 cbmc_5.84.0-4.dsc 080bfa7085ace9e83258b26214be968be30b762e 53572 cbmc_5.84.0-4.debian.tar.xz Checksums-Sha256: c889dff1d7be32d32647566cc752057cac188539e99c62582879cc842fb4f34a 2962 cbmc_5.84.0-4.dsc c2a21de8b33c52bfb69011fb5a6ee5c40a911df7e81b5fc7e59eb041b68389ac 53572 cbmc_5.84.0-4.debian.tar.xz Files: 638136fc0eb5968531cc82329a57ac74 2962 science optional cbmc_5.84.0-4.dsc 2f6f3d00c2858f4d68f28baf3f771e38 53572 science optional cbmc_5.84.0-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSJUj4OHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGuDQ//ZBvpu3g9oPdrtnUK83CM0ub10kkkswG9MIxH lCqAJKWirMOciTiSM4YVb8UZVxwzpRvh4i4PlFtpbcXxdpmxMjpZ4295s6kDQYin 9xf7w0lVGMxswCpB3+5gW0G8FEfYMbFYmL9I+vaK3jL69kq8oW6FoPjJAeA2TpXx oza2CF+D1bJfm4FeehlPgs7XyZRTiONhKiGQguoyaDxapKrC+9rCMkOaN9xA5EjB Ixn1gPRiGVIIbWk2AnrHqjYqgqS7CjgWla3hHF+9S/KI4bG3lgdOzEXNd8YJur54 8XkaYymUf3U+xMfT6VsyHj8jzFcqZUSap9mxLHoE/nVmcTWzMoCKtYyZobXgHrvC /vS6hG8xKZuKeTpnJudbPE8ARnFZMLxbVn0Ca4SZ0kqUF4b+cqO+SOtwnGJQ33sL XTvJ3kb101ZdLRY4VdgYx21phL4qyGb1D3PBnYud5PZQbOxPye9+84a92JjEfRbZ Qde/fagytGoOCr3EDum5SdocAV/gO+XkksVTzJHGFN66nBHop0tBStIbF9tFf2pu FLBACyRo24g5qDe4gzcWylZjcRchwX/AMzyXtM9MFd8KBTehOKh/LHhYtA6WZOLU 2Q7UM9ooUzWV9CEm9If6OGFISUC1OF5akVafUyEgEgmaJUCUuo/bpCqSbV/XScX3 IIJpHl4= =dwOr -----END PGP SIGNATURE-----
