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
 90b6bde36d5fda67916f710444d025f506055e00 6328 picosat_965-2.debian.tar.xz
Checksums-Sha256:
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 a7b0403b9ac917ebbb6022f65cbec593abbc1c2e63f9362d998fb112daec9da4 6328 picosat_965-2.debian.tar.xz
Files:
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 cd126fd78389e1b91fffa91a254dcc2a 6328 picosat_965-2.debian.tar.xz