-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 19 Feb 2024 12:28:17 +0000 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source Version: 5.95.1-4 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 (5.95.1-4) unstable; urgency=low . * Fix portability problems for hurd and sh4 Checksums-Sha1: 1a3c5bd42f1cc0af09e0f42646cd98238f41b03b 3061 cbmc_5.95.1-4.dsc bac0d9a4903bc69353645836ef10cbb22b4a9121 15316 cbmc_5.95.1-4.debian.tar.xz Checksums-Sha256: 5ac9fc60e7704ed37a2a83a289b62f07d4f8d7e885b4fa39a50fc83767dfa2fc 3061 cbmc_5.95.1-4.dsc fcd097ce7595f7559d7077019eee11135136ffd594224ee77cba27867226e293 15316 cbmc_5.95.1-4.debian.tar.xz Files: 55220985dead9e44c8b589d78d53523f 3061 science optional cbmc_5.95.1-4.dsc 5b29f2f421d76f7a9fb3b02c8751500d 15316 science optional cbmc_5.95.1-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXTVYAOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGSbA/+OAHEV6Htaf4ZZdHIYCFIkGjf2oCWsEVkVPLQ fr5LKirDzHCk7h+QTDpH8Eq+vdU/30VRURzMoNYLFkdwRpg56BMEHyo4jWDfFc36 IwSwgpys8e5YWCTEY6t83CIA+TR6Eb2GAaDBfdvhlZT44mM6bwjjfeoeLw2RMGVa ZwdyQEJDHb45EiDO5X3fqLFRc6q2cS3WBeDWGm7OBhrvwRdFf3pPM12rTcTKgS9L fuMm4dGjOu5XBsmJM438W0uZP/R7M0N+CvEs4zqFqGmdBso5Wo5Dkh7SwpLrpsQ2 cyfc0SzS2fmeY/bk6ooF2PBkFICTZGY/O9Jxb/o2jKVuWcL6YZJj2oJAMeL6tLUP Vl0/iTWUh9OS0q+mcvmP71LnWZKK0coDZjyE0iFbQaWZMy7ZCYZUcS4EcaRIYy6s Mo9sJMJ8EGBGthWK5n1FSG51jSUhh4rRQbm69nWxL26HT46Gv+GBVCiYrrOeivEs pTNYTfF+UprHAg4U1Xcrt/SwgpZehL+f6ncEVqeq4BhnHCz8cDOitFCILWhARk0O oR+kEf53E+i5kzIMs5GawAAFx8E+d+mDWH4Uq6D23KpU0oZ45EGpWV3nMjWV71LG Uc/HF3S6hSSviq4vb0vlpMwclvGG8FTdfgsc0i3LhsbyOv7WPYj+FC33iHGxBNfU xTpBxXA= =djmU -----END PGP SIGNATURE-----
