Format: 1.8
Date: Sun, 20 May 2012 07:55:28 +0200
Source: cbmc
Binary: cbmc
Architecture: amd64
Version: 4.1-1.2
Distribution: quantal
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@crested.buildd>
Changed-By: Salvatore Bonaccorso <carnil@debian.org>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Closes: 673579
Changes: 
 cbmc (4.1-1.2) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Update fix-FTBFS-with-gcc-4.7.patch patch.
     Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
     Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch.
     (Closes: #673579)
Checksums-Sha1: 
 a2bcc17f64de8e0839ff05691fd1594dbb921545 4557986 cbmc_4.1-1.2_amd64.deb
Checksums-Sha256: 
 474015be0bd21a768d6190360ab8165c79a2ecb6882bedc2a97700f59c35592b 4557986 cbmc_4.1-1.2_amd64.deb
Files: 
 2c1b7fdc6dbf08edbf9760109aa594b3 4557986 science extra cbmc_4.1-1.2_amd64.deb