Format: 3.0 (quilt)
Source: z3
Binary: z3, libz3-4, libz3-dev, python3-z3, libz3-java, libz3-jni
Architecture: any
Version: 4.13.3-1
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential, pkg-config, python3
Build-Depends: debhelper-compat (= 13), cmake, libsimde-dev, python3:any, python3-setuptools, dh-sequence-python3 <!nopython>, dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>, default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>
Package-List:
 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 profile=!nopython
 z3 deb science optional arch=any
Checksums-Sha1:
 0cacce1aa679210b3d12363a394ec145a9fc040f 5579211 z3_4.13.3.orig.tar.gz
 c899e269816b23f1d633374e3427132d13808139 11060 z3_4.13.3-1.debian.tar.xz
Checksums-Sha256:
 209711df1363f1282c5854ce385004a0f76381c716bd9f061b7a84f3c24b0c42 5579211 z3_4.13.3.orig.tar.gz
 8cf2652663401b92b39a3eb0907e2d23e9b73187ba7ab4c486e043da4945c632 11060 z3_4.13.3-1.debian.tar.xz
Files:
 adb1fddc5c10df23816088640f3b55d7 5579211 z3_4.13.3.orig.tar.gz
 658ffd56a41fc8dacce675fed681931b 11060 z3_4.13.3-1.debian.tar.xz