Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-4.1
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.8
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/minisat+.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev
Package-List:
 minisat+ deb science extra arch=any
