Format: 1.8
Date: Wed, 04 Apr 2018 16:59:19 +1000
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.6-1ubuntu1
Distribution: bionic
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Tim Lunn <tim@feathertop.org>
Description:
 cbmc       - bounded model checker for C and C++ programs
Changes:
 cbmc (5.6-1ubuntu1) bionic; urgency=medium
 .
   * Rebuild for libzip transition
   * d/p/git-ensure-initialization-of-PODs.patch: Upstream Fix for
     FTBFS due to GCC7
   * debian/control: Set priority optional instead of extra
Checksums-Sha1:
 ae4afea42d685432789a0a0b607268f635a6e511 1749 cbmc_5.6-1ubuntu1.dsc
 7ac688cc4cafc5311446dbb7011516691dae0778 11216 cbmc_5.6-1ubuntu1.debian.tar.xz
 c862852e461c4bea203e26925b624b532906dc8e 6857 cbmc_5.6-1ubuntu1_source.buildinfo
Checksums-Sha256:
 d0d3923e350c7a62f8946468a216483b527de5e4a4d1f229d204936e3c621867 1749 cbmc_5.6-1ubuntu1.dsc
 378fa33f85470b1dc3083033407b37bef98ecfeb5b6224bcd5c0046e26778809 11216 cbmc_5.6-1ubuntu1.debian.tar.xz
 f42cdab4dfaa9cfb5f42c2e5a3b85f53bdfa5bd261167e0db1f8f9ebd8044040 6857 cbmc_5.6-1ubuntu1_source.buildinfo
Files:
 4df9adbe569af120dd94c1cf8e02d9c1 1749 science optional cbmc_5.6-1ubuntu1.dsc
 49cf11f8c168976bd47d8393b4076415 11216 science optional cbmc_5.6-1ubuntu1.debian.tar.xz
 3cde5b789b9a8aedc0979083afe22534 6857 science optional cbmc_5.6-1ubuntu1_source.buildinfo