Accepted cbmc 5.10-1 (source) into unstable
-----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 <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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-----