Accepted cbmc 6.4.1-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 21 Jan 2025 11:40:10 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 6.4.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
Closes: 1091116
Changes:
 cbmc (6.4.1-1) unstable; urgency=low
 .
   * New upstream release
   * Fix Maven versioned dependency (Closes: #1091116)
Checksums-Sha1:
 3c8d8de769b64f1276b829386a9d7a7fe6f225e6 3048 cbmc_6.4.1-1.dsc
 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_6.4.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.4.1.orig-java-models-library.tar.gz
 96ca348b42781be193766d3137ada754bc296ff4 9127951 cbmc_6.4.1.orig.tar.gz
 db873d5e70e39f0ac00c4ecdb8dbd6ecfe03716e 18076 cbmc_6.4.1-1.debian.tar.xz
Checksums-Sha256:
 f3e0d0233a13df86a10c323317b5af3a1383cdfa43c767783b02a0cf927d106e 3048 cbmc_6.4.1-1.dsc
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.4.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.4.1.orig-java-models-library.tar.gz
 09507765190bd14d07452b68003087160c80325b251a6f13d50845bb5f44ae7e 9127951 cbmc_6.4.1.orig.tar.gz
 8e60cd8aad012198edb4e64207644e13e079e1637cc60744b5681ba8f64a8674 18076 cbmc_6.4.1-1.debian.tar.xz
Files:
 dd83d410255c5c8644cd65ab7fba56aa 3048 science optional cbmc_6.4.1-1.dsc
 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_6.4.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_6.4.1.orig-java-models-library.tar.gz
 90a01f7ceabdc36081bf002eed073973 9127951 science optional cbmc_6.4.1.orig.tar.gz
 13c59c25aedc403310a4126047eae716 18076 science optional cbmc_6.4.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmeQCM8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGXnw//bOHnyeL/tX0eEdXSgKPyaHHDl2ZATSs81659
rsYjkrp0bnNkZnkoPyTtgPq7+mlhV46y/D3JJQ3AWtcfnnuJvtGD7d6z/QDO0Oa9
T4DLzbVY7b35AKzyMmX2yqPSnGqQnQVBSW4qScItb4wARCydqmPDzru0lSZB+Bfu
mpDMpuQgN7iuGVeunA6/3I45dxxJkqMc8HqKtsnMRlRwUxf/xzaljXi/CMSZon6I
+M4bvc4NQDL+r8EOpfu3iPN8Nzc5Yd2c2XLLV2TsAfXlbGe67rvPifVpkSiIJTD0
hhXFcltEXzZAz5VNRgdazdOd9pa9oQGA4DQlIGOUYBdLY1wanY3Z6D4NR5L32ucY
vdLhntvu8sa64Bvf/f/w7IE2N2wzUK5FxlgZQ5TFymNCOs+GseBsJC9S5vKQoD03
EoKlisgkgcHIWGaowJpRmzZq+Ja35V9FiQ9sb38etwmo90bwbo/TrIw5pCy2dsQP
MsYnh8mofQtxj3CJPq7josRJSgORaeB1phvw5gPDwVVHe6p9NpWL37PXt44eit7w
d3JqnAb1BoPN2Tr8+zFXIWhGunlXKcsVgJ2AAukSs+OtWLzAXpVHYNflOJbAQTd0
Y8jOou7QoX8dSV8DcXCHFzOAUPNIFeSdQAXDZvicFJLln06/7hhoAUVaJjBEaPvz
K6XVRq0=
=J9jB
-----END PGP SIGNATURE-----