Format: 1.8
Date: Sun, 04 Dec 2016 09:18:48 +0000
Source: cbmc
Binary: cbmc
Architecture: arm64
Version: 5.6-1
Distribution: zesty-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-038.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:
 2337ccfff76734575a25c2ba4461faa89ad44fff 86228692 cbmc-dbgsym_5.6-1_arm64.ddeb
 c1a3813ddf01ad9cd835eb4675bd3c57bb7ae665 3419858 cbmc_5.6-1_arm64.deb
Checksums-Sha256:
 d6edd3b35c535601df0f2a610a169f7ddc913290f9a9fcc52d8ad12680c42441 86228692 cbmc-dbgsym_5.6-1_arm64.ddeb
 204cf90567bf2b3edcc15fe22d89741b9877a297aa34fbb429ec7147f225d7fe 3419858 cbmc_5.6-1_arm64.deb
Files:
 a9f263542ce61d8a2aededce2a72895c 86228692 science extra cbmc-dbgsym_5.6-1_arm64.ddeb
 42d9509438e1a0bd91bb66eab244c580 3419858 science extra cbmc_5.6-1_arm64.deb