-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 02 Aug 2024 11:58:55 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 6.1.1-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 (6.1.1-2) unstable; urgency=low . * Fix support for ARM-specific vector types Checksums-Sha1: 6080f754f0063bf32d6b2486c1650fa9576a6d67 3048 cbmc_6.1.1-2.dsc 11cdec458caf2861574f20e3a7347094958589c3 17932 cbmc_6.1.1-2.debian.tar.xz Checksums-Sha256: afc6736f81827deeab763868e2a036f0db755b2792803c297b338937dc744979 3048 cbmc_6.1.1-2.dsc 031dc9d3c707ca63c26ae2f276145424636a9b96e08684377a730574ce2bcd75 17932 cbmc_6.1.1-2.debian.tar.xz Files: db44721b3ccc9969479adbb91e656ac5 3048 science optional cbmc_6.1.1-2.dsc e818cd1238c61d87c7bedca9e16ecfa2 17932 science optional cbmc_6.1.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmas1cQOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTEufxAAmh0RLyAc+r7wB2IsDI7MnDBxP/oFjwH73gRj Ad9hGP+XDLbm2HAbrjMYnVNUzFHmG/M0mUCvNSnih/kK481MvxoVDAvnRRmqkf5o lFtqHsLI21+v/wt/2Dbt9RfW75kCNb5AyENYYC/nwQ6uV+tTahcTkDDH4AKQkqbb HT2cPIykktdkEC4K85hCqPvUVIFHOym11KF7vra4o4P0qvthjFK6mgbQZ/KbuFA6 3x2xBW3tORtecIku66MUsLEnxrDojprFVR1BNeVlSjQapbaShYFbzFnBCBd//+sl QA/BLKpGS7w7vgr0B6xmM32EjOyMZo+RQc0fyZhlSu+0Qsyu70M7IjgJOpSYH5Fg +eGePqhX/oTvaSU1Wfou/3mVTYuNUVWSprmtx7RStRBJHNNXXz+75xoz0ZYRuYEY 6OKfRR69rrQAFlw65Uuk4omIcuAdOwi2uQpTZOXzmnZl/dX7w4mfAVmYeap09t7W aYdgS+CLnvSEhYumfVKiowrW5S21hpYsF9HETLEA+fBtC2TOu50Zmw9QTz71w3es chsqWuY23jH+XhXAqNfJJOgyuFYlUXTQPxyFaVozOcsr/cVFaFbzPZHb0Z1iQ06n WgLLgcFSR1lVeqFKxwDMMfeXzs7GtpmeY68O8HgLTYSPHsaD38Dov4z7iOJMRfN6 18xBdEQ= =dgWm -----END PGP SIGNATURE-----
