Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-3.6.201403152112
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.9.2
Vcs-Browser: http://github.com/niklasso/minisat
Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git
Build-Depends: debhelper (>= 7.0.50~), libz-dev
Package-List: 
 minisat deb science extra
 minisat2 deb science extra
Checksums-Sha1: 
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 cfe1a5aafd09368fde862d188433f5c11999e547 8742 minisat2_2.2.1-3.6.201403152112.debian.tar.gz
Checksums-Sha256: 
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 178ec6a0ba48f60051afcac83fcd8eb5eefd550d68444b903b83f95568aeb497 8742 minisat2_2.2.1-3.6.201403152112.debian.tar.gz
Files: 
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 f6e78da942cdcd4c2a922bc48f8269db 8742 minisat2_2.2.1-3.6.201403152112.debian.tar.gz