-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 05 Jul 2024 11:26:45 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source amd64 Version: 6.0.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 (6.0.1-1) unstable; urgency=low . * New upstream release * Updated Standards version to 4.7.0 (no changes required) Checksums-Sha1: 43fbacb8217af0a96346aa079e98d6f3320de720 3048 cbmc_6.0.1-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_6.0.1.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.0.1.orig-java-models-library.tar.gz 960c71ad3ae921f48cca4d67f950619eee77509b 9109589 cbmc_6.0.1.orig.tar.gz f537f1abc1f2eb8dffa348f8daa1f537b303f038 17564 cbmc_6.0.1-1.debian.tar.xz 4dbb9d312e5ac39110bbbdb573c17384872600b8 647504336 cbmc-dbgsym_6.0.1-1_amd64.deb 4a5055bb354ef522c7aaaf363dc617b646fcedcc 13227 cbmc_6.0.1-1_amd64.buildinfo 61346335b3dc0aaf4bd1fc3e4a23b8c1bab4a612 20981016 cbmc_6.0.1-1_amd64.deb 5e810d100ba5bf3ed0f849a586cd0f371830e156 246176188 jbmc-dbgsym_6.0.1-1_amd64.deb 1bb4203db6752cd9dd0b04f617384100ce609224 8191944 jbmc_6.0.1-1_amd64.deb Checksums-Sha256: 5852e142376e634e160796093d11a911cdf17e15dc87e3c8ada1eb9d695cdabe 3048 cbmc_6.0.1-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.0.1.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.0.1.orig-java-models-library.tar.gz 8f954bbc13e8b56ef1990e81feb283c77775f86c45a81487416dda1c66ba6e25 9109589 cbmc_6.0.1.orig.tar.gz 71f477c6d9e13dde35ba539024893249c4adea78c34481874e0c41bd49630b9c 17564 cbmc_6.0.1-1.debian.tar.xz 81968446812c31d81044dbbfa4706877262da9ba1496c1a9af73d2659d66fd3b 647504336 cbmc-dbgsym_6.0.1-1_amd64.deb e6fa2e37fb6cd7f123d28dfb602e9b3f4810e2a26dd95194acc6c543f477ebde 13227 cbmc_6.0.1-1_amd64.buildinfo 2a3ff8cb0ac90e0df0fa7c1b5338758b9782a591a599e2c1b92868bfd5839452 20981016 cbmc_6.0.1-1_amd64.deb 31cdfd7a2f8e0077ba57dfbac3ca1d1e7658a9f07030f073a27429346cc6d93f 246176188 jbmc-dbgsym_6.0.1-1_amd64.deb 598fa1146c2e5434822e3fb9449590864d1ade40b894b890ca3ba358bf7d4980 8191944 jbmc_6.0.1-1_amd64.deb Files: 5e2b9bf7327d5331aa917391a43b33e1 3048 science optional cbmc_6.0.1-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_6.0.1.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_6.0.1.orig-java-models-library.tar.gz 5620d8a548499d90e69d1bfa5e3af51e 9109589 science optional cbmc_6.0.1.orig.tar.gz e7a511f4200ec98b09a93a52b3bf5d25 17564 science optional cbmc_6.0.1-1.debian.tar.xz 84d02b33518940a7579b2a8b6e30f75a 647504336 debug optional cbmc-dbgsym_6.0.1-1_amd64.deb db689478fb08913720d2e0c85cf1b262 13227 science optional cbmc_6.0.1-1_amd64.buildinfo ac71c88b80c54152e90500c7721dcb30 20981016 science optional cbmc_6.0.1-1_amd64.deb b0766abf9814ac8c5ed0790e94ef6331 246176188 debug optional jbmc-dbgsym_6.0.1-1_amd64.deb 1c3eed28cc6919a6fc33fd507da1e1ff 8191944 science optional jbmc_6.0.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmaIAu0OHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHPxQ/+MO3tGELpGkZdwcsb17GLvKRBTzp5uJT3m2Sc UfAIl9ibE6qsSKJQD8S45f5jwJyoX2IM1c7yXa1aNxS9sVtYiCrQl8L/akWByyl/ p9AZ+/Sg1kqVYNhYwWQVqkBNchotHpC/qJKJaU0xsh/8fyQWOeZWqLoo9KaEeKSF h8lYq6wKdUsOiWXnJk6NfbDRiPKFoqh1wwhShkewGjcqhS8dit1bWbKWWPuU2MeH 78JrWu/1pUJKtgTdMmDx7aZ7LXE2ltPWj/VsMK+Eed+cOsQ3RywHKiYqJVhv5jeh v2DneoO1ZM1Tp+KitcpspyK58xEqF7M2rFyXTAkmieRA7rSTMSrJ6Mdpftnv/f0P s76ozA1NHDuFj+FZ/7axhEUcGt1jFE4sQ24hmeRoKEdcTj7m0biHiWrzOkkkIStb uOu57cThTWwtANffYUKLDg/5UuJY9xs4wcf1kGt2kJIKXawOKoG7qdZs/TuXWn36 Wjgg/3x+I6KMCEhCin5lEQk52blP6MPqAeCbCWvVHKRzWGLwS3pbm0wx8NaGineb 2jYSEgE11BpIpajnwmEsZyKhTp77gKyM02HnyvXBVQgTL5bkw2pgn67cNTOzTWpC KSLRaz8bP1Nn+fuGlSqFYWVcklAEo3h8tmPIxW4EPViZPXNg0J9casQIIne7gPi3 qwFRemM= =cNoU -----END PGP SIGNATURE-----
