Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 936-4.5.201403260103
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 7.0.50~)
Package-List: 
 picosat deb science extra
Checksums-Sha1: 
 adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz
 8b6e3a424bf26a6f0b905c2fe7c786aaf2a0a109 6034 picosat_936-4.5.201403260103.debian.tar.gz
Checksums-Sha256: 
 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz
 3785d3140a455b45549e0a7ce5486f55261a1a3cbf779512ac74aa1f48cbf77b 6034 picosat_936-4.5.201403260103.debian.tar.gz
Files: 
 0ad8404c134653d1e40f8fcd3a93a991 52159 picosat_936.orig.tar.gz
 4c2b06866ab4ede04b69f00239199d4a 6034 picosat_936-4.5.201403260103.debian.tar.gz