Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 960-1.1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 7.0.50~)
Package-List:
 picosat deb science extra arch=any
