-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 09 Aug 2023 08:36:16 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.89.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 jbmc - bounded model checker for Java programs Changes: cbmc (5.89.0-2) unstable; urgency=low . * Disable tests demonstrating portability problems Checksums-Sha1: a6ae29fd1dceb84f03ae4d574fb08cdb1212f744 2957 cbmc_5.89.0-2.dsc fab6a39a60556e82ea1e7ea86cb8defeac5eb112 58868 cbmc_5.89.0-2.debian.tar.xz Checksums-Sha256: 45b7feb241bb0484368abec5e0fa2639cc3ca3cf673776acfeba81111fe3c4d0 2957 cbmc_5.89.0-2.dsc 6a1c9da675b5f69d241632281393569f17550f1702aa992f32122ded339d66e0 58868 cbmc_5.89.0-2.debian.tar.xz Files: f7a34e58b3fef149e3491d941d8aa911 2957 science optional cbmc_5.89.0-2.dsc 000c19d1646065014fa85abf10341636 58868 science optional cbmc_5.89.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmTThrYOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGpMBAAmZVhNa1+1NMZ2EhUOCLJP/5XKPpowVI46QrY j1KLcbiJi6CrblMg7WM3VWSiDd/3QMS/6wVbrCX1UNp+9CFA6ScfJSrgtI0xkxxb 6PPp/panwfKxYqb5LFvzkyHXuRDXhEcVaFZaA3RpHZxFfhF9EMicvoDjnN3oNjIU Vg1zw54+t/e6JrIa59zGiujsCG3sus1bn5sFy3keDwLQEkRhs5u+5ZLn41A8quRv TDDRX1bpYmgyDHOJKZDgUsS2K8rLEbHl+XNW+BgYBlLzmSjIHu2NbajK2nXrm717 ZkLeZHfyD4YK2886rQ80gu4UfCHlXZhWzvC9Kk79iVQiiA/bwePcCG2Xx8qnricB OcdlUpKs286rbnD6YOpsYCD0MYojB7A8czhjRvQE52VQGXzAq44y0ox7YfWuLKDJ 91ZEACgnM32ebILNWPnq7JLuOGZUvK9I69ST6cQElwMTMiwhxITM3daVWyOvl+Ev LapvIwEBfEga2h4yT0JxAR6qnqd0mfY4hischO2Vn0fySKSAZdJeplhDrdqw7t5N 8PEfrNQtbAJaJgan1yzojnaqzr4HIFGExdzziakTbuTIDietI3q4pX4DBONiMW5Y bnQUTX75+xyQVVjomzPhYy8ZmD6/R+o4sS4v2jze7Yta4x3kbJ+kAssQydcQmyB7 kZJvoOw= =JGxA -----END PGP SIGNATURE-----
