-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 16 Jun 2023 21:58:47 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.84.0-5 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-5) unstable; urgency=low . * Fix further portability problems Checksums-Sha1: 1a4671c5168c214c5caf212efa81fb991badb95e 2962 cbmc_5.84.0-5.dsc 13bfdaabd9f43f393e57dd1a8dbcc5714620df07 54976 cbmc_5.84.0-5.debian.tar.xz Checksums-Sha256: d08ec5535a25ca68979212e5010e662b6ff22ff8291d8b394e05279b2c6ca8ea 2962 cbmc_5.84.0-5.dsc 0d6ba429b65399646a4b0def3005047648adf3145160d05bdae5880e76ee6ad7 54976 cbmc_5.84.0-5.debian.tar.xz Files: 38f2c8dc0a2219855feffb317f3a9c20 2962 science optional cbmc_5.84.0-5.dsc 667f94a8c820766089237cbfb77508ca 54976 science optional cbmc_5.84.0-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSNWKwOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHbag/7BYl82rClrfxEncbcC6nfgw6SjWX/pBtkJKmr gayNeNb4X6vv7SO5nT8dZyfm7EptngDtZf0n03NuZ/NThHzQx6Ghj9jgTrUjNHAZ HvjhrVKjMsVxt6YEerN44U6IiDSaNj+g1YLT/VH/usiZNgGgBQ0I2wIDRC/DiPJ5 MlnZkDEi/U6zF3YvjtSeE2oYuQiYE7Mlrbf/Kf21eX+JaTJPtOhah+ozJ3YeStZj 0+abq2y34hN4GSQygmDWXklKlYoxUjS1mp2LT43WKYwhGfdmLOR33EC6viWgHRVy E1+grk7pvU4E1Na/6Cca9e6mFtjWMIBEyEk1GFztwH8osVjueUHqIoTFJsKf3o96 loyAYyOP3Rypu2Ta5hjsI+2IrKwq0Zm6oq1lBYHV6UXCKCbhd3SYUZmqzUuVlf32 6oMa4INViuCDu2TANPwHzIggDZxa3Mjm1EMyig0PzOGoLa1YFDCoNEvBnTwcKwQx OKagIvzFDnA9vXq5H69K4Z5Mo8A3f0fPJqo5gX5vUZoNQ3ATwWsPFF4BFmZXBoak aI2dF8w0O2rk4OvWU6sEjaYiMchg/dQWjBUQgYams8eYPxKNPEiqZtqQ+tTCdsku lYXrcLQ7g90E+T+Rt4vwkaq5sChjuhGUBnxkuJ0i0JM+fla1ADvHX2bWDO51WsMI uNONo+k= =DUBx -----END PGP SIGNATURE-----
