Accepted cbmc 5.9-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 02 Jul 2018 17:12:01 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.9-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
Closes: 871068
Changes:
cbmc (5.9-1) unstable; urgency=low
.
* New upstream release (Closes: #871068)
Checksums-Sha1:
a0d86580dbbaefc5ad01519752d2502df9dfde64 2073 cbmc_5.9-1.dsc
628f41d9ccdf551161e0f47a374f967da25992f1 173159 cbmc_5.9.orig-java-models-library.tar.gz
49bb7f719f778ec3393933fc7ea28f3544298e6e 6262353 cbmc_5.9.orig.tar.gz
965fd0a4f98be0ccd86d32a4a8e45c89be5b1047 11176 cbmc_5.9-1.debian.tar.xz
b8a7f859896b068f609d9cc438d0e190e6430f13 310793220 cbmc-dbgsym_5.9-1_i386.deb
f201d0212fae37d8e4a8c9896b1c42cabedd16cb 7527 cbmc_5.9-1_i386.buildinfo
5194fba0a7b416b28668a4688ae05608c1a31b8d 9997724 cbmc_5.9-1_i386.deb
Checksums-Sha256:
799261af1100fe709a7c50942177b6207a920f99f65fbcbd22a2218c53fb7e11 2073 cbmc_5.9-1.dsc
05262cf301bcc91e0236b6ca92cab895c78d0e3156aa9152e7cabab7f4cba466 173159 cbmc_5.9.orig-java-models-library.tar.gz
e57b07036475267bc158694003fb546d128a54b556553e5e129e967972d81fd1 6262353 cbmc_5.9.orig.tar.gz
49f0f1a7ef72f5c005bbcd3505e76f498f528ad9a8083d46ac52f1233989e9ca 11176 cbmc_5.9-1.debian.tar.xz
24bdcaabc9d819c2bd98bd898589d6f74677b85a77b99852d409909c0b2adcc5 310793220 cbmc-dbgsym_5.9-1_i386.deb
be42b6a5139755af00a6588876e027aad5e2fe40f1bd5ffc6ab48750eaf18734 7527 cbmc_5.9-1_i386.buildinfo
8f3768be9971befcd66f48ce273d29cfb7095620f9e94a9aece7011e2c9f8e35 9997724 cbmc_5.9-1_i386.deb
Files:
5918ed637b54078e65fe8d5900aebe7b 2073 science optional cbmc_5.9-1.dsc
dec7966920798332e57029ce6a5cee6c 173159 science optional cbmc_5.9.orig-java-models-library.tar.gz
f233cdc9764fffadad5997f22df9a669 6262353 science optional cbmc_5.9.orig.tar.gz
73279c514d0206f095f9dc6931b9aaa5 11176 science optional cbmc_5.9-1.debian.tar.xz
3cdc7f56118a17f7ed6346aa7cb466c6 310793220 debug optional cbmc-dbgsym_5.9-1_i386.deb
9de8e6c15af233c350a264f69c7bdb28 7527 science optional cbmc_5.9-1_i386.buildinfo
878bba853f586d68101eaa4d314e251a 9997724 science optional cbmc_5.9-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls7YuoOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHa4Q//dJMaYuC/jzM1u0GzFXzgMyg4RtJafZxJ4aDZ
dJcm00RIxmc1tuWOW9u6iBECQ5I3JZog3M0n75+9JdV5gk2JZYxY7N5UhY0XsYZn
D1JQ75hwt4O2KPcZAPwgisHf1fypJlENLXp2xzSL8OiX6PHuBb+WPEEWcXz/9qQI
yEzzhsXDUzeFt+W6Iu+YQufDK9q2uya7iDJenAsAobmq0bv6CbfeV72ariFY4HfO
anE0YNwKdashXqLGq5UO6/1LPB6mwLXQ5jjzCNg7tiK285DZ6NaiZBafeL29i5ud
XVUpp1nTOV7XIbDYhUrCmNa3pFRMAqnvMGprED1F3DF3QR1zUpiQfx4KWTK+Z3V1
M3RNUeK7l4pi7EJ9h9ecbUTnvvULwLDnGQ0hheu8OoBUhyu4/hMk6RDRbnmlEKNL
PQTEQN/moBRlePGLeLumlUN2A5VneArA89IBlgRAer79+KIdsghGBEaRiIKYCcx/
z/OkHeTKMNaRyEAC402GtyFn/TfXxB5n76BZlMcgeUVA/pB5yWVazvRJmSIZifBW
uVg1hpvot+0Snx3o0n+aS3iPGMuX7F1OxEWjd1xp6W/Cw4fxkUV6TvuXCy2SO0lq
7AuV7HdiPk7ORmcJMsH9mpuFqFRMuv/BUwG1aRMbMrKsBABCX7huBuL9btWBr+1H
/kDgGJw=
=gNfB
-----END PGP SIGNATURE-----
Reply to: