-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 26 Jun 2023 06:10:31 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.84.0-7 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-7) unstable; urgency=low . * Enable fortify hardening * Fix autopkgtest * Fix further portability problems Checksums-Sha1: 38a37c275d0eb00752f26767c7c17e397f6fc6dc 2957 cbmc_5.84.0-7.dsc e7f726272cd4f4dd84d2b43b0efde648d64fd4ec 56432 cbmc_5.84.0-7.debian.tar.xz Checksums-Sha256: 38b5c24a807d07ed122c1f195d5747c8c6df8071f7631a93b620d0acbe20e8cc 2957 cbmc_5.84.0-7.dsc a594321be4a8902c4cdd86f99f55b58d335a89e6fcbf6ecfaac78b0ad7c8a577 56432 cbmc_5.84.0-7.debian.tar.xz Files: cf1de1acc275172dcf3404394446559c 2957 science optional cbmc_5.84.0-7.dsc 9c1eefa10ab8296f777516eac1f2fba4 56432 science optional cbmc_5.84.0-7.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSaaQoOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTFdiQ/7BPWfYbg7S9GRWYFatP9VpwLLM1+p67e6UL/B ZschvabHLxBZK1gt4lis0mIDTpbLTZpdXUiuvWRiQNYXFtkqtFm2yIfYmInzOY5M 2hpyc4JYem6ZGMN4JuGzFS8Yb5aNZd7GFAkPy3EFLryfnCT5n6WCYu7Xt/W742jF e1E9gTmfAdZv6jL1CS7ekSW142YmXOfNbYPAGxbyJCflU2iprxi3RfLHGktq94/C pQXQkOFleCJBqtcudKuzPSl39E5xZqXneR/rj1sUW02UnrsexAUAvqV5/WJB45Vg /QtWwT4rqSYOiiuLDU8K/HQibFP5gO4lea1PX5uoz6MGP/p98J8OvmPOCfQ2zYC1 oqT21qI3h471KfBihGyoTyMvs3WvQwBoBbnVCJLufkBoWb1qAxw8e/bpgW0M+Ow6 uysewZGlHPWk9b+P81tv/nWdX8zG1dCSLjf0f7qI92bwJJSHDIPaQBasxY7w+mW+ dnYcjo44klOJJQvA5khKh1HzIbPoLyGpc85xELamDAgC8gvRUrIjLFO3WXaGnVfK Dly/19pvcDpPPjitq3V5sxa6n+pwjiivB2GKfOMo4u2dk1r/rU6WcIEaIQZKaEV5 DOTy/PrnOP8hPFFCva+qI7Zq9ZAVC5hGsCHmNmiAwgCIlYi2H3a68ocq3bNRkgOu ty/X5vc= =7/Na -----END PGP SIGNATURE-----
