Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: s390x
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@z13-025.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:
 c890a14ddef90a5244e79e2f1db651c399525c11 82599182 cbmc-dbgsym_5.6-1_s390x.ddeb
 32d31ace5870b329b180714de7ec835030f259c6 3542094 cbmc_5.6-1_s390x.deb
Checksums-Sha256:
 d18a3d727408049c8aa2ee54c7adc025d39afd14d56304da36ecb6530533d1b7 82599182 cbmc-dbgsym_5.6-1_s390x.ddeb
 4bc3037760c107d0b0071fa72a99b485b6c484758c65e6e83659456462868a68 3542094 cbmc_5.6-1_s390x.deb
Files:
 1422b88689c1d3ee0b3605c0caaf3406 82599182 science extra cbmc-dbgsym_5.6-1_s390x.ddeb
 40e9bc431a0149f19dde3aa58d592c1d 3542094 science extra cbmc_5.6-1_s390x.deb