Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: armhf
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-011.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:
 695649045d1ab64e351224767cb8ad6953750109 85412440 cbmc-dbgsym_5.6-1_armhf.ddeb
 2d8d1c98ff2d1516fc785d1675625e834824ebbb 2966252 cbmc_5.6-1_armhf.deb
Checksums-Sha256:
 d67e04aeff1b9baf1aac61561481be751f742947ae4ca9b60b0c1daee4075475 85412440 cbmc-dbgsym_5.6-1_armhf.ddeb
 c1853590a69489b812ec2e79ea893ed96b83311ca8aaceb3ae8eb53e5c342bb3 2966252 cbmc_5.6-1_armhf.deb
Files:
 3d173bf44f715faf039dbdea9517ccb2 85412440 science extra cbmc-dbgsym_5.6-1_armhf.ddeb
 432c51e09706295e1068301e91786af6 2966252 science extra cbmc_5.6-1_armhf.deb