Format: 1.8
Date: Sat, 22 Oct 2011 00:51:01 +0100
Source: cbmc
Binary: cbmc
Architecture: amd64
Version: 4.0-4
Distribution: precise
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@yellow.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Closes: 643074
Changes: 
 cbmc (4.0-4) unstable; urgency=low
 .
   * Rename patches and update description to make dpkg-source happy
     (closes: #643074)
Checksums-Sha1: 
 bf9af342ea138df355b03c6a4dc97c2eafa99c87 4519864 cbmc_4.0-4_amd64.deb
Checksums-Sha256: 
 630b0717a2433c506736d92e6158f07b6b5fe8bd661489c39abc0af1b326c81c 4519864 cbmc_4.0-4_amd64.deb
Files: 
 2692d0ac79e245b17093e0e8635943e1 4519864 science extra cbmc_4.0-4_amd64.deb