-----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-1build1
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:
 cf98065f0f392e4bfca40550e0792b2ee59d6c89 5583533 z3_4.13.3.orig.tar.gz
 6a1a69f165a4f4dc6a5cdeeba7ca6661fe4e7e39 10764 z3_4.13.3-1build1.debian.tar.xz
Checksums-Sha256:
 f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 5583533 z3_4.13.3.orig.tar.gz
 00fed5b4a858fb5d79574c57000ae496ff4aaa2c5fb34b56bb34f8b75e1ac79b 10764 z3_4.13.3-1build1.debian.tar.xz
Files:
 48f96551da3180c6bf270904102e1149 5583533 z3_4.13.3.orig.tar.gz
 dee7e2b166e23db20e1407aeb02eb8df 10764 z3_4.13.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmkPUVwACgkQLIPbyOm9
Djf86g/+Lls3zm1Yr4fVUKygIqjhCzeaca7U9xUdkfiBI8qnkKI/2wGgQOkDO1kn
sg1mGKNurNF5+HhcfVvu6ryC6CKqq2zMi8OL2/fAM3WoXf9MpjkcVh2QDFOgQjPv
q/SHEe5AFsle58bdsSejpVHqaXypHwX/6CaYNNojSa72PiigRl7awartmaPiKutu
G8OphAGfqpwEcyZm2odKfVF5L4zz7H3l8XxQTxxjDs2ImU9U4H7YH3KA71jXjAJN
YSr5f/ytNZR3m2ZhKGYNYcfgJwCQBbV2Auq0ckpfIsp0tFiQFh2iy2fFTUNy0Ovw
3oHrkTGf7gqzqtr4Dhwos+haAGtVhv59P5K6wutL7agEHyW/rKxaFeZUz6n4fBg7
3rSPPe5cVu9qUzOUTi2djDGVnrn0A9CEcyf44+r8iAsa4ppSIza6/Si9PJdac2aB
O+2kWfzCPTJXGYiVcuJ1g4vcfn/kJaWFyai0zGwj0bVOF2FdaleVNVLCODSwIm1h
A43I6XVebzdTFKHv6U3jxrpSWwp8Plb5GKTvyiVmx0Z+q33g/4qArewN0xBTG5FK
ww0ErRh6xCHWzRIQRg/s0cS5IGx7B4nN7rbVb70GDlitVsm5veZolQj54u/wA466
P34m2cXov7BqzhSyEuXsPaXLrKwL3gQmph542U3jnwBlS9wlnxs=
=V0gt
-----END PGP SIGNATURE-----