dsc_fields:
Architecture: any
Binary: picosat
Build-Depends: debhelper-compat (= 12), dh-exec
Checksums-Sha1:
- name: picosat_965.orig.tar.gz
sha1: 66869e4be43dcf6765b047d5bb20b7b1fa32eb16
size: '64386'
- name: picosat_965-2.debian.tar.xz
sha1: 7ea597d88db9581b98561b33b6e0205edc5e4ea5
size: '6328'
Checksums-Sha256:
- name: picosat_965.orig.tar.gz
sha256: 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
size: '64386'
- name: picosat_965-2.debian.tar.xz
sha256: ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a
size: '6328'
Files:
- md5sum: d37c236d5c60b03d888d137c2fa4285f
name: picosat_965.orig.tar.gz
size: '64386'
- md5sum: 32b6d30566f2e455794f6355b0e8540a
name: picosat_965-2.debian.tar.xz
size: '6328'
Format: 3.0 (quilt)
Homepage: http://fmv.jku.at/picosat/
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Package-List: |2-
picosat deb science optional arch=any
Source: picosat
Standards-Version: 4.4.0
Uploaders: Michael Tautschnig <mt@debian.org>, Nilesh Patra <npatra974@gmail.com>
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Version: 965-2
name: picosat
type: dpkg
version: 965-2