-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: z3
Binary: z3, libz3-4, libz3-dev, python3-z3, libz3-java, libz3-jni
Architecture: any
Version: 4.8.12-3.1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 4.6.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), dh-python, python3, cmake, libsimde-dev, javahelper [!hppa !hurd-i386 !m68k !sh4] <!nojava>, default-jdk [!hppa !hurd-i386 !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
 z3 deb science optional arch=any
Checksums-Sha1:
 f4443c6beedb46e8a0785529b477b2f811901cc3 4803435 z3_4.8.12.orig.tar.gz
 a97bbdf0122564c0a93426fa9c9a5e3296c028e4 10536 z3_4.8.12-3.1build1.debian.tar.xz
Checksums-Sha256:
 e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 4803435 z3_4.8.12.orig.tar.gz
 f7a34430b1ddad40767539aa2c325986ac3134d7a36fa8402daea5389f709d62 10536 z3_4.8.12-3.1build1.debian.tar.xz
Files:
 73fd07d094685039b03aed9e38040d13 4803435 z3_4.8.12.orig.tar.gz
 ae6d69c88d54af7597f09581dfe02979 10536 z3_4.8.12-3.1build1.debian.tar.xz
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJHBAEBCgAxFiEET7WIqEwt3nmnTHeHb6RY3R2wP3EFAmYmM4wTHGp1bGlhbmtA
dWJ1bnR1LmNvbQAKCRBvpFjdHbA/ce8kD/sGkT9ZwblXIG4KpE/4c9YMh8mplVl+
CsFutycQsxClfLu+0l+ImJPTj/f9Mta/rVYoJY3bG9kLowrCCAU4TuE9gx1RuZgf
wc8NHc0/poMCxCgq5gbj69IWg/FbFKnRNEkYYysTywfI4d2bfSMaeEkEnr6UfHxL
YMOYlEui2GoI4HT7V7PE2ATkGBJssgpyjwTpl++jLY5Gann4u/JjXEea5gK6A6Ld
g32fJvIN/hsBAczlvp3/pWqjZNDxKoMD1H8rLq57Sj7r5YLCk2PUrLCjnkHpFm6b
UXR5nH+QhwRQFvphMiGjt76h/Ve57SIBftapcOEhbO/yKzEELz9+72BMu8L3DMPw
gQpdEAIXTmbSlTRLaAYsTxNPGbcHZhq6iC4BCbGMaGAAAHTccxhHdQ8C0S2dFlgv
4wWniGA803zUpkidczVYwVd84nGoh9NPH+t/6JXNT530IBJEM7UoiwLaeduhOHee
CamfQMottgXnoZDIRzKWwsSr2zwOEi2kZ2+Q0x+9rHdrSA1eLqgPNsZjTX2v61GB
GILX1Rv2jKMKEV+d7YRjsJQeprMVoMov4UjCrtq/G1QT7SeaJXsY3XG/XjaPF2Fs
cN+8XXuXCuKRLSROMtAsRWZMKQh2c332n2THW8GrLghf1/QZkZt0tmhPTeJZE/BW
GitPdHYMIgAIig==
=7v28
-----END PGP SIGNATURE-----