Accepted cbmc 5.95.1-1 (source) into unstable

-----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-----