-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 27 Sep 2018 10:18:47 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: cbmc - bounded model checker for C and C++ programs Changes: cbmc (5.10-1) unstable; urgency=low . * New upstream release * Updated Standards version to 4.2.1 (no changes required) Checksums-Sha1: 0693aa7fb01014dc72ea82c24151adab4ab79096 2169 cbmc_5.10-1.dsc 19d3d143a2d0a103fcf7ad20c7690de46e5e1066 173342 cbmc_5.10.orig-java-models-library.tar.gz b9fed11ce8218575ad3f781aca71ec8f328a0304 6345384 cbmc_5.10.orig.tar.gz dbeb9f6d512168ee44f1416a5e61e2c222c3c8c6 11700 cbmc_5.10-1.debian.tar.xz Checksums-Sha256: 4cc2884e896eac2d74ccf26929181ab7062608e7f7f1d3885ef0eedf841b1acd 2169 cbmc_5.10-1.dsc e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487 173342 cbmc_5.10.orig-java-models-library.tar.gz 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 6345384 cbmc_5.10.orig.tar.gz 1cbeb2b086cd5187181e59488cca3833247abc82cdba16d337785d810bbe4c47 11700 cbmc_5.10-1.debian.tar.xz Files: cfa0fccd67bf236ea0130c707dc61980 2169 science optional cbmc_5.10-1.dsc 181d4c80d93f6c8a10da01fab64c89eb 173342 science optional cbmc_5.10.orig-java-models-library.tar.gz 5b91030b9d24f54a6cda8724f61578d7 6345384 science optional cbmc_5.10.orig.tar.gz feadb7d4a20fe083b5e16f74a8c7f0b6 11700 science optional cbmc_5.10-1.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAluvps8OHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTEFARAApO+tegiftbfrmbJ3S2/iM5xudwdRiVA+EfGP bnaphEV/ZaPmDjqalFlFKRoa93AXasGN9ckvOx7imObMn0w1qS62sX/2m7KqIFRC dq8z7hOGNxaKeggdNAzKYTDmuqfW9lYC15JD0IQJYOAvEXry1crYT7vNkA93/Ivr XfV0NhFllJiB//g04EDdfYJAQyVUECUVqHWBo26IZRxcF3W11msHJFAue9zJQTGZ GedUxdpAOrevQgAKcthaKjSW43NEKG8p6uEbWyiTybEc7RlPcoYQyeUTAXE5Nu6z OU8Qc0GebUrggAhUqCrawXvHe1jXiqKUvbZsm4X4kBuLCC/KsiWECGYW428bSZgl SJ0PmjUIsGgM3ZZtQv4lbf/rTmNzESFIbRZH+fDVgIHohAZ0HBSnadSA5DVmf3+D bmY9n7oXxch+PzrjjhEnj3aSpkByxJl8wbXVVow+yCt5gFp44VrX52sCnQ420tg8 SHkXS/kJ1rCcWArL5mkR6/iTa0LxPY6GPj2qvnrvRKTzesaTYI5qtoQT73tTeCu4 xNn+yFSLMgPmYqQW9DRn2a14ol4Tl8kpDnQf50TB8DK+73Wa36EmoQWgyhaX1P0w 1UoEfM9ZeirLpgURWtXB/8pO2Quqqs/Okp7Ki40kVbwTIQ8I0T9XeqffcJdEx7TD oR3bTzQ= =Sl2R -----END PGP SIGNATURE-----
