Package: picosat
Binary: picosat
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>
Build-Depends: debhelper-compat (= 12), dh-exec
Architecture: any
Standards-Version: 4.4.0
Format: 3.0 (quilt)
Files: eaabbfd06273f9bdf634bc8ab5c4e47e 1959 picosat_965-2.dsc
 d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
 32b6d30566f2e455794f6355b0e8540a 6328 picosat_965-2.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Checksums-Sha256: 168fbe18ee5a122b24c46940e5582c12c28e3125e5e9c795b462495c34d6eafc 1959 picosat_965-2.dsc
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a 6328 picosat_965-2.debian.tar.xz
Homepage: http://fmv.jku.at/picosat/
Package-List: picosat deb science optional arch=any
Directory: pool/main/p/picosat
Priority: source
Section: science

Package: picosat
Version: 965-2
Installed-Size: 794
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: armel
Depends: libc6 (>= 2.7)
Description: SAT solver with proof and core support
Homepage: http://fmv.jku.at/picosat/
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Tag: field::mathematics, implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/p/picosat/picosat_965-2_armel.deb
Size: 86892
MD5sum: 7d0b04098a93ff7f9cad80b6319891be
SHA256: b68a77a76826ec88024be56c428ca2436fde14fe208285a3ea3d36d9e586d0a4

Package: picosat
Version: 965-2
Installed-Size: 866
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Depends: libc6 (>= 2.7)
Description: SAT solver with proof and core support
Homepage: http://fmv.jku.at/picosat/
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Tag: field::mathematics, implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/p/picosat/picosat_965-2_i386.deb
Size: 98808
MD5sum: 93311232f6610c4ba32da4760902426f
SHA256: eaa2afc6a8e3c254716b008458b501efdcc9b1c733a201ed8332ac0733a1b214

Package: picosat
Version: 965-2
Installed-Size: 879
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: amd64
Depends: libc6 (>= 2.7)
Description: SAT solver with proof and core support
Homepage: http://fmv.jku.at/picosat/
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Tag: field::mathematics, implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/p/picosat/picosat_965-2_amd64.deb
Size: 94496
MD5sum: 207bd8341b2fd889e438f145ba8016ed
SHA256: 6624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa

Package: picosat
Version: 965-2
Installed-Size: 913
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: mipsel
Depends: libc6 (>= 2.7)
Description: SAT solver with proof and core support
Homepage: http://fmv.jku.at/picosat/
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Tag: field::mathematics, implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/p/picosat/picosat_965-2_mipsel.deb
Size: 97996
MD5sum: 58b96c7d670ed4059c4af835a515a6ae
SHA256: 2f2c90d23f4600061591a4bfd8a8bd27042b6d3bddeb7d2bf14e31d961799172