Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: powerpc
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@denneed04.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:
 fae2beb07558150afc27c67e63157f7161396f5d 81730832 cbmc-dbgsym_5.6-1_powerpc.ddeb
 5dd08342afe57a853dfe6168cdb6dfaf9ef9f32c 3180664 cbmc_5.6-1_powerpc.deb
Checksums-Sha256:
 1001f92df0e340f8adee6b048aebe1fb3cb8530357ce966b89d5326b681ddd88 81730832 cbmc-dbgsym_5.6-1_powerpc.ddeb
 29cf826fe2f8ba701d04668f52c76e41e77a518b5ee6a072c3630cf15d1d6242 3180664 cbmc_5.6-1_powerpc.deb
Files:
 e0631bb38056f805309638d82094b349 81730832 science extra cbmc-dbgsym_5.6-1_powerpc.ddeb
 be525fc1f1aec526bc314b32099194a7 3180664 science extra cbmc_5.6-1_powerpc.deb