Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 965-2
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Nilesh Patra <npatra974@gmail.com>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Build-Depends: debhelper-compat (= 12), dh-exec
Package-List:
 picosat deb science optional arch=any
Checksums-Sha1:
 66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz
 7b0ac6eba7c40f20c7e1c255358e5f335941d7d3 6336 picosat_965-2.debian.tar.xz
Checksums-Sha256:
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 1762138189a7aab49a96e054c7fca240996ddb5bde9568c299deb2b3358111b6 6336 picosat_965-2.debian.tar.xz
Files:
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 c37d7a58e391b4913404d31de7147369 6336 picosat_965-2.debian.tar.xz