Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: ppc64el
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-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:
 f30d0349e115c1089ca8d38889c0227b76474428 86659364 cbmc-dbgsym_5.6-1_ppc64el.ddeb
 7a52faa5c81c7a089f57307b9c8d1ac04ced1767 3673038 cbmc_5.6-1_ppc64el.deb
Checksums-Sha256:
 f43c5cad68f603e3c7a4f814763e4fa8f7d5b5a02ae653e882c2e660fd8be27d 86659364 cbmc-dbgsym_5.6-1_ppc64el.ddeb
 9390dd5fb53c38a28dc722d8ed03a0b79ebacb55500c86ee79cf7f1fd3ddc2d1 3673038 cbmc_5.6-1_ppc64el.deb
Files:
 bdf4c4f56f6e550b567640497bb9f1e1 86659364 science extra cbmc-dbgsym_5.6-1_ppc64el.ddeb
 13045315421605aaf713378a9d688303 3673038 science extra cbmc_5.6-1_ppc64el.deb