Format: 3.0 (quilt) Source: picosat Binary: picosat Architecture: any Version: 965-2 Maintainer: Debian Science Team Uploaders: Michael Tautschnig , Nilesh Patra 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