dsc_fields:
Architecture: any
Binary: z3, libz3-4, libz3-dev, python3-z3, libz3-java, libz3-jni
Build-Depends: debhelper-compat (= 13), dh-python, python3, cmake, libsimde-dev,
javahelper [!hppa !hurd-i386 !m68k !sh4] <!nojava>, default-jdk [!hppa !hurd-i386
!m68k !sh4] <!nojava>
Checksums-Sha1:
- name: z3_4.8.12.orig.tar.gz
sha1: f4443c6beedb46e8a0785529b477b2f811901cc3
size: '4803435'
- name: z3_4.8.12-3.1.debian.tar.xz
sha1: bac6eb0fea1ed8ca07661efc29cdbfb08c3a02b8
size: '10420'
Checksums-Sha256:
- name: z3_4.8.12.orig.tar.gz
sha256: e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7
size: '4803435'
- name: z3_4.8.12-3.1.debian.tar.xz
sha256: 5bb616648de1d82f5563377e1640e59dd653b6beac3b6513358362e5dbd925fb
size: '10420'
Files:
- md5sum: 73fd07d094685039b03aed9e38040d13
name: z3_4.8.12.orig.tar.gz
size: '4803435'
- md5sum: 632052111a73db41cad36b663acc1d58
name: z3_4.8.12-3.1.debian.tar.xz
size: '10420'
Format: 3.0 (quilt)
Homepage: https://github.com/Z3Prover/z3
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Package-List: |2-
libz3-4 deb libs optional arch=any
libz3-dev deb libdevel optional arch=any
libz3-java deb java optional arch=amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x,alpha,kfreebsd-amd64,kfreebsd-i386,powerpcspe,riscv64,sparc64,x32 profile=!nojava
libz3-jni deb java optional arch=amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x,alpha,kfreebsd-amd64,kfreebsd-i386,powerpcspe,riscv64,sparc64,x32 profile=!nojava
python3-z3 deb python optional arch=any
z3 deb science optional arch=any
Source: z3
Standards-Version: 4.6.0
Testsuite: autopkgtest
Testsuite-Triggers: build-essential, pkg-config, python3
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
Version: 4.8.12-3.1
name: z3
type: dpkg
version: 4.8.12-3.1