Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-2.4.201403152109
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://minisat.se/MiniSat+.html
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
Package-List: 
 minisat+ deb science extra
