Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: amd64
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-10.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 cbmc       - bounded model checker for C and C++ programs
Closes: 844776
Changes:
 cbmc (5.6-1) unstable; urgency=low
 .
   * New upstream release
   * Disable Pointer_array5 test due to endianness bugs (Closes: #844776)
Checksums-Sha1:
 ec737baa5c75db251a436d976b8895dec83491d2 87130812 cbmc-dbgsym_5.6-1_amd64.ddeb
 cb9930dd879c475fce5dc17f0de15f1bc8f0aae5 4021230 cbmc_5.6-1_amd64.deb
Checksums-Sha256:
 3090dfc38279a4e70b91011e0f5bd4864a2350e3637a0e740e7ef103905a0f78 87130812 cbmc-dbgsym_5.6-1_amd64.ddeb
 58d346334807edb76ec5f06619960ab08e7f58743c7cfbe6c11ae0c78b822b49 4021230 cbmc_5.6-1_amd64.deb
Files:
 5e8a3093b2d1128bf4d8bf42f7743571 87130812 science extra cbmc-dbgsym_5.6-1_amd64.ddeb
 473a0b2938041275217fc4a5f74e59dd 4021230 science extra cbmc_5.6-1_amd64.deb