-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 03 Jun 2023 21:07:29 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym Architecture: source Version: 5.84.0-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 Changes: cbmc (5.84.0-2) unstable; urgency=low . * Fix several portability issues. * Added autopkgtest Checksums-Sha1: af06c060ab2ae0c9343ce4126264f847564bcaeb 2640 cbmc_5.84.0-2.dsc 21c4544fb7b9fc398729fb30b2c3a5e7fc525161 51716 cbmc_5.84.0-2.debian.tar.xz Checksums-Sha256: 3f0ec509e2f7e388e768bfb04de7c535ec70c3ffae596ee55c2ec268dcec5e84 2640 cbmc_5.84.0-2.dsc ddeba5e95fe7997d57880f8bc7bde1133378ebabd5f07c1482edd64984772ab5 51716 cbmc_5.84.0-2.debian.tar.xz Files: 9672b15dd3ccff8fb2267b3203e5fd92 2640 science optional cbmc_5.84.0-2.dsc 1376b8bbc25b82087836f7abee254959 51716 science optional cbmc_5.84.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR8IngOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHEiw/6AyyRudUn6hn+08DFsWV0r+ZUmTJzpnYAU6mj 1JNdvCtseod1sFRQQFU9wkg4GfW5HSRMWXS8gKim3XNBY2jeFHIRWEwAj/RA+Mdy sv2a3wpRt+aZOyShlazakW7bZNlKueVtIt2qB7Yqvdjfpvig0KRN1yFBXBoYOMec +fx+ds3iEDAXYLJzHUha9jV0lyA5r+6/+PUKDV+tOs2LcdfsBzAiZDmYMiOlgzvA VDz5bDboPVfTyLp8jX+X8WegeyRaiPVGMyjc9z9eWuIFVnOj4Sddg4RBE9O1fpJZ 4DC2z5gzDh7pFbi7VXEjfjv/g6mZ5+h7BJfJnKlu0XshyiTFq5K/yUtRPfk2I0/A v2YtKiXTOiv402YV03GKGyeYQ3xz7VamUIChdkZFnXg4UYmDBlgw1BFn70NOtcYp bXNQsDTJpAzdHleREll+fvoe9vi4UVADv9CUglAjqLPpnwnWrwCSMrf2CpI2+QTS fuQsOEuJJGvAZcpw5b+GecvU9rMVO54djpRyb9S5IAwhFwTDIMS4c7qosBI1QPjf gdEG0sxY3gIHWjbWoC6j+PERdhfe3eJfYi9dABd0cVWJN6vdCs7HTJVrkuovcCSa yKAbnHU9BpmDcHBaQ+VJWTxPzm8Xgin7Sa6TU53zTUvDUUHJJipyBUSzCFjndT6j /po3xnQ= =ShvU -----END PGP SIGNATURE-----
