-----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.13.3-1.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 profile:v1=!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 profile:v1=!nojava
 python3-z3 deb python optional arch=any profile=!nopython profile:v1=!nopython
 z3 deb science optional arch=any
Checksums-Sha1:
 cf98065f0f392e4bfca40550e0792b2ee59d6c89 5583533 z3_4.13.3.orig.tar.gz
 840ebb7b413f4f6f043a6a9fb7db5385bfe6a256 10736 z3_4.13.3-1.1.debian.tar.xz
Checksums-Sha256:
 f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 5583533 z3_4.13.3.orig.tar.gz
 a54785a60a5130417b1cebaa4dac8a572fea550c32e52317f4fccd5c6db36936 10736 z3_4.13.3-1.1.debian.tar.xz
Files:
 48f96551da3180c6bf270904102e1149 5583533 z3_4.13.3.orig.tar.gz
 ef286bfdaae4759ca2ab4214318ccc07 10736 z3_4.13.3-1.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmn4l3wACgkQiNJCh6LY
mLFLaw//aHUfcya5H3Vy53Lk7YG6iFAfJxd/P4/LvUSXUBN/AQWBceyqnI9YKb0C
RIktYu2a5Fkvw9NsNmZn6ebJw857ZcWk/1ZoCbK8S4KK1FbSJ5rbU1vT5AJ0S6pX
i2p8PamInL+ZAcLNk12p+j/nAFdQtr1JpncipreTEl8pp/V2a4SuC2uhYxy7jnIz
7YoieZmKBviBHvpbUOtl56fhyTYWLZIXTdhQiCkuMZLdPmW/HlcH1j0Yr+dwhBQe
3Z5yS9M0gw3CShLcDAH8WSuEnP8gbj09SKFaZuGexIr4FYF9ycSatzgooXQRe3zO
QjcawvPJiZN9JSKC8K7FTu/Nm30DhfaWPkSRaY+t2DrNFoyrWwKSoG3K5GfPjh2N
vfMb1XLva69/LYIMX/6PdX5g4rsnMMpWW6OGj1ngYKDOW9oqiMwE/euVbIO44Teb
ZVAl11e0nsF2y3x9e8SY24kfndBVxvJlQjsH6OkHdoqtBqarrZqMRISGHoXDAgwt
5ABjxj9kYYIyyaqzd2HYmfzXoUmLsm84r6rI4bb1R/ak34/RoNkYazUGZ3VDkJJC
Y5xms2Sm6hdMHbjlV0gxXo8JW2qDuJR+DYszKrnP2MVqMCbe2K7DED9GteRl+Vkx
Ohl8N7xt3zT0FNbqZaNr7K1YDXIpA0TadT1xrBkYKYjHioj7hzE=
=Xneu
-----END PGP SIGNATURE-----