-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 07 Aug 2023 10:59:11 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source i386 Version: 5.89.0-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: 1042030 Changes: cbmc (5.89.0-1) unstable; urgency=low . * New upstream release * Fix includes in endianness patch (Closes: #1042030) Checksums-Sha1: bcf9cb905e5b6c8aa30242ff5dc8493ebec0da1b 2957 cbmc_5.89.0-1.dsc 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.89.0.orig-java-models-library.tar.gz 21ca9735b75fc73082c5ac0b51faea16f5771e9e 9012762 cbmc_5.89.0.orig.tar.gz 99be6519be334100e797d5ab1faa1f8493b2256a 58588 cbmc_5.89.0-1.debian.tar.xz 4ff39322e87fcebe2040cf68801f3a976dea311c 604902184 cbmc-dbgsym_5.89.0-1_i386.deb 69a1b4b53e5618360c3f34e6a4f033950d226f8d 13619 cbmc_5.89.0-1_i386.buildinfo fde03b17d2ad8360459ab5950f4c8f67a9450223 21556844 cbmc_5.89.0-1_i386.deb 57a8ddc5c49ccdbb7ca65dded61079cddd4a3642 227572980 jbmc-dbgsym_5.89.0-1_i386.deb e8791f6fd4be80d571d401d0686e64d6809037e1 8570080 jbmc_5.89.0-1_i386.deb Checksums-Sha256: 689db85066cc53941c108abf9dc57c1b80cb05d38d5fd212cbd37224af3f3453 2957 cbmc_5.89.0-1.dsc 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.89.0.orig-java-models-library.tar.gz 8ca046a8322da5620f5d24787aa8f0e71b300df487b1ccb24b1025e01f51666f 9012762 cbmc_5.89.0.orig.tar.gz 4302e22bc870de8c96d21dfbbfb9a1ad69fe60ec3b8aa06b8dca3272b443a243 58588 cbmc_5.89.0-1.debian.tar.xz 0e495aaa58dfd27068f87eafb74b7efed30083475767aa844bc94aad1a35105c 604902184 cbmc-dbgsym_5.89.0-1_i386.deb c6b01393431512571c6c7a9bf718c597727ec47eab7a1f09d0b31d810546a80a 13619 cbmc_5.89.0-1_i386.buildinfo a4a47366ac8db153cc4aa23a041c1c5401973e391a1d609418b61c13029f8992 21556844 cbmc_5.89.0-1_i386.deb d150cf45d415e231fadbec82b5dab461fc1fbd2d81b5176c20f5ccf25177ee89 227572980 jbmc-dbgsym_5.89.0-1_i386.deb ecd109d5e33bbe1f5e9d9bc6c92f1c09aae49270ab6d7a2134076d30f02acd14 8570080 jbmc_5.89.0-1_i386.deb Files: d09db08a458517782796b75dfcf8bc86 2957 science optional cbmc_5.89.0-1.dsc 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.89.0.orig-java-cprover-api.tar.gz 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.89.0.orig-java-models-library.tar.gz f76b72c2b74d1601697d263d4feee901 9012762 science optional cbmc_5.89.0.orig.tar.gz 4e172d8c5cc4e3f1a66fa3a97a9720d9 58588 science optional cbmc_5.89.0-1.debian.tar.xz 412b32d8a9e5c7f00989a50f32185cab 604902184 debug optional cbmc-dbgsym_5.89.0-1_i386.deb 34fffb65810429d57c5b44122eef1888 13619 science optional cbmc_5.89.0-1_i386.buildinfo 72674bf9b859864ac378aa8eb4c37abb 21556844 science optional cbmc_5.89.0-1_i386.deb c36402bc3257cc296b36517fae2d8bf3 227572980 debug optional jbmc-dbgsym_5.89.0-1_i386.deb 58b4b5864597110cf08b6b33c22c253c 8570080 science optional jbmc_5.89.0-1_i386.deb -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmTSnp4OHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHQvxAAlljaox7Rm7xkE4t4l6yPJZM6Ncmwhu4/hzoh YsrKcJ0k0MMOmf0EWB5DkwDoJCQciTdlT/5v8Fpckl3UWdYRaLbx6Wum9o49X+SZ lGSkZVPwwphkJza1QeSlhncX3Lq0HZLSycEAJbalynZAVcIyUB/euxdww5KJuGus dYH+5lSLDQQ0I8WZdqwAOUBLfmyh+Ip6CCrl4IZXXqSS4+sGjaED8OMKGBioMM0l HIhV2KW15pSVBBcjEtQu7ly3kX4xh/jJdTnBdKyj81jBA1Pr3p1nNUPe0POvDLbm 9VIBaKMbdw6Epd9elVarCcuteI8hN9kuSlTcvVFPX+AV8t7KJKnpTgIuozvUoSM2 zaZb9JNxTRp6fguGgo45xL62AN71IiB5szx6fdO/yoijJFmEDkKolN1OaTxaY/yj NAmQm01tUunqkm3ksPFTrdVvrUy3F8i9CWxzSSgdFPJxXtSRA/FXJKLONqdNfNCi 87fZplFs+DBihAE09xJc+ew4J9x5XZwGR9CkIyZwtwOd3qA5OA8qPaRcdMyWOHQI LPy3UTBDbU7xq9LAzE/hrpmQVC2jPVZ90ETi3luvvrd+pJLaB/N5aO1gF+Bxwvch hN5L8gNHQrsTgVAklIcs6NWwR1oMw4a4WDcI1WXo+g5i63Uofmm8i8ROnFjjQbfJ sU3rIBk= =5s8g -----END PGP SIGNATURE-----
