-----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-----
Attachment:
pgp593Twd5nyc.pgp
Description: PGP signature