Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 1.4.ffc2089.100608-1.4.201403150747
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/boolector/
Standards-Version: 3.8.4
Build-Depends: debhelper (>= 5), picosat
Package-List: 
 boolector deb science extra
Checksums-Sha1: 
 7e492040fe35224729f723ee7c97c4d877c89479 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 c5d19038b182cab764ececf2c621976718f2affc 4262 boolector_1.4.ffc2089.100608-1.4.201403150747.debian.tar.gz
Checksums-Sha256: 
 12fe3ee16a45f3cd81f988f72f6af6eb1114ea2ed9adbfd71c937fa411069b97 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 5d73ab29c17253be3062c7f2080dcb4ef94e8083a33f2981f4f99902c2040ed9 4262 boolector_1.4.ffc2089.100608-1.4.201403150747.debian.tar.gz
Files: 
 a2cbcb6b3d3d600eafc4607fc40ae544 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 91dacb3102efdc683f2ddfd7ba3aecce 4262 boolector_1.4.ffc2089.100608-1.4.201403150747.debian.tar.gz