Format: 1.8
Date: Sat, 22 Oct 2011 00:51:01 +0100
Source: cbmc
Binary: cbmc
Architecture: armel
Version: 4.0-4
Distribution: precise
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@buttercup.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: 
 60ead00ee5a5a244ef4924c7cfec8080599444ef 3795044 cbmc_4.0-4_armel.deb
Checksums-Sha256: 
 c6bf387de9fa532c70b519d2c6f2828b33d06b3339eebcf0ae4dc11fd22916b8 3795044 cbmc_4.0-4_armel.deb
Files: 
 8d6b54dc7ed3496985f46f00c46960da 3795044 science extra cbmc_4.0-4_armel.deb