Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.1-1.2.2.201403160611
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List: 
 cbmc deb science extra
Checksums-Sha1: 
 7590f65ea2a396eecb413c1175027b083502ba57 916603 cbmc_4.1.orig.tar.gz
 e3277f3a4637b44cf2792ece4c00111287cafd21 4973 cbmc_4.1-1.2.2.201403160611.debian.tar.gz
Checksums-Sha256: 
 7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68 916603 cbmc_4.1.orig.tar.gz
 be6eca633b8122ad8102065c8269afca288f1a1fe1676b946e4023187f3f5232 4973 cbmc_4.1-1.2.2.201403160611.debian.tar.gz
Files: 
 2719473150151d4d96096828f0b28efd 916603 cbmc_4.1.orig.tar.gz
 c17dc92c366d106e0b116f7a2218a303 4973 cbmc_4.1-1.2.2.201403160611.debian.tar.gz