dsc_fields:
Architecture: any
Binary: libcryptominisat5-5.11t64, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Build-Depends: dpkg-dev (>= 1.22.5), cmake, debhelper-compat (= 13), dh-python,
help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject,
python3-dev, python3-setuptools, zlib1g-dev
Checksums-Sha1:
- name: cryptominisat_5.11.21+dfsg1.orig.tar.xz
sha1: 3f81cb82733b315d46ad39b252ed872eef319068
size: '481480'
- name: cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
sha1: 05012919db4b15042857cf622ad837f9be72caa0
size: '6620'
Checksums-Sha256:
- name: cryptominisat_5.11.21+dfsg1.orig.tar.xz
sha256: 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060
size: '481480'
- name: cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
sha256: e281267f53549b03a28c5a231b1dda7a48f00b96579d25b0936d1fdb4dedaec4
size: '6620'
Files:
- md5sum: 73a3c9062f35408e0eb2d90af7e3cfc4
name: cryptominisat_5.11.21+dfsg1.orig.tar.xz
size: '481480'
- md5sum: 5f4410c4454abe9ce32408d1175532b0
name: cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
size: '6620'
Format: 3.0 (quilt)
Homepage: https://www.msoos.org/
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Package-List: |2-
cryptominisat deb math optional arch=any
libcryptominisat5-5.11t64 deb libs optional arch=any
libcryptominisat5-dev deb libdevel optional arch=any
python3-cryptominisat deb python optional arch=any
Source: cryptominisat
Standards-Version: 4.7.0
Testsuite: autopkgtest
Uploaders: "Julian R\xFCth <julian.rueth@fsfe.org>, Julien Puydt <jpuydt@debian.org>"
Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat
Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git
Version: 5.11.21+dfsg1-1
name: cryptominisat
type: dpkg
version: 5.11.21+dfsg1-1