Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-5
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: 4.7.0
Vcs-Browser: https://salsa.debian.org/science-team/minisatp
Vcs-Git: https://salsa.debian.org/science-team/minisatp.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), libgmp-dev, zlib1g-dev
Package-List:
 minisat+ deb science optional arch=any
Checksums-Sha1:
 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
 e8c9ff4f550fb2196469fd861ed8bfc711e03d61 4448 minisat+_1.0-5.debian.tar.xz
Checksums-Sha256:
 f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
 033e711d987d3e7df1036a9e93f3d918ac7b977ffc0aff0360940ef64518da91 4448 minisat+_1.0-5.debian.tar.xz
Files:
 a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz
 822198fb8a890c6b9a64ad20a0c4aa4c 4448 minisat+_1.0-5.debian.tar.xz