Format: 1.8
Date: Sat, 22 Oct 2011 00:51:01 +0100
Source: cbmc
Binary: cbmc
Architecture: powerpc
Version: 4.0-4
Distribution: precise
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@adare.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: 
 1bacddb2fefdb745f56a0d18ea206ee32079d456 4603474 cbmc_4.0-4_powerpc.deb
Checksums-Sha256: 
 6cf9b279bef888a8f5768d5338b60735d6c93236b58812776aca99b0f7f1618d 4603474 cbmc_4.0-4_powerpc.deb
Files: 
 a2fe65bb29f1f6467b085c49fbfc06ca 4603474 science extra cbmc_4.0-4_powerpc.deb