-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 16 Feb 2024 10:04:32 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.95.1-1 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.95.1-1) unstable; urgency=low . * New upstream release Checksums-Sha1: a4b9e99b131ffe5e24c767217eb8ab6d2fc4353a 3054 cbmc_5.95.1-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.95.1.orig-java-models-library.tar.gz 5e54f45458dfdbc5e6d023bf4fc08175a9949ce1 9073428 cbmc_5.95.1.orig.tar.gz 43f4178099bd0e0e0c582ebdb6b6f256bf695ebc 59160 cbmc_5.95.1-1.debian.tar.xz Checksums-Sha256: 91e233babfcbe45d03b4d580f513346caf73d8f0c1425bec5bbffd270f1bd7bf 3054 cbmc_5.95.1-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.95.1.orig-java-models-library.tar.gz fdc1e862752430f8d069eb2f9c33dcd05078cf955bbc900e2cc840bcb01b3783 9073428 cbmc_5.95.1.orig.tar.gz 8d0f19156edb327edeedfbb942c3a0b39e68536d4af651c7e09409d2038b6d6a 59160 cbmc_5.95.1-1.debian.tar.xz Files: f8294c3ada28fdd6711f13e05ff9442b 3054 science optional cbmc_5.95.1-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.95.1.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.95.1.orig-java-models-library.tar.gz 05f0e4a4a3e7e2830c3be3b9398018de 9073428 science optional cbmc_5.95.1.orig.tar.gz caf689401fcad9843da88c064b9a3afd 59160 science optional cbmc_5.95.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXPR1sOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTEfZQ/+Nmg8D0ZPNSDsZr9R/t3Zb6qIssdRF4RZ6Ekf fZv4K/DdkapZI//qSLw7BoES0Nh2sXisLih1Fij6V/CMx8Edt0RNWaAoAVAaiz1D nLFsd5e6GFts5FvxZY5X4rQ/GDuoKkJ+NTuNJiY0X/pwUH3ABYR5ihnPeEygyoJQ Iy8KWoX0ddv/kxRTRRcIIu1aZQTBr4Xzf2/rd5Bwaneb8zwPCqm1748f/C6dSj4f Z4dJfOf0CHWnAMnednB1qG7fwn9e7Ra8OqA6zk93UD7igOQbaR2+YGPFRFmJ03Ku aaweoGXSd6vaGzxBEUYDm0RaWS6xBPOKuU1Omsx2LXHFi1ps4YYjnl4ImBPsU6Du I9p7hWJrbcj/++C5dIe3UpoyJaJNt+hW0kO7UmAU4/gVfn0y16ELDS1JXrI7u+k2 WEk83EuF5BOhmSLzLUqtVcZWIZTJ9AUp8OpP8M+G9eXOGQSoj0WY1RTor6pWsRkR 9dWzD3pR1O/pjJE7CEEq2Vkd/TIx7BXn6T28rZAZVMx/GY3/4f+OTQzgrhLHF2mF XRK29UQGwWE7p14qxj+8uv/WMcE1ABhf+ZDuTttImaeN3i3Tvzej6/lowb64Kpdx 1an5XydP10U3raa3XAbIJh5UkXZUUNusdGJdz7uVyG31krB91rcwqZR1VI7RfODa hCuzuOw= =aERh -----END PGP SIGNATURE-----
Attachment:
pgpGqWVUizm9p.pgp
Description: PGP signature