-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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.2
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), dh-python, python3, cmake, libsimde-dev, 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
 z3 deb science optional arch=any
Checksums-Sha1:
 f4443c6beedb46e8a0785529b477b2f811901cc3 4803435 z3_4.8.12.orig.tar.gz
 bbb285ad7839494cd8678b1f0e00020135a1e314 10452 z3_4.8.12-3.2.debian.tar.xz
Checksums-Sha256:
 e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 4803435 z3_4.8.12.orig.tar.gz
 e3a203619e06d2eeac4b9f4d082620238c21d92dfef6003a2cda99035584f50d 10452 z3_4.8.12-3.2.debian.tar.xz
Files:
 73fd07d094685039b03aed9e38040d13 4803435 z3_4.8.12.orig.tar.gz
 94f0e043c77f83f955d1764610d3f32e 10452 z3_4.8.12-3.2.debian.tar.xz

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

iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmcpKyUACgkQfmUo2nUv
G+H7Cw/8CMaj0GlTLTKdIk6UASDOY84D/J8i8pKj2pIWBHze8iW+JbDsvEeMJpfV
r/3Ga22slDI9xF/5Hdx27hKlGDHjIci0q5w+RaVvk54oPY0cvUAPzi+9aRjZX7C4
Fk3a2Ns6Zww+3USRKQtB5J+TMEZakSh5My4AvQRPj57ysESYEw3oJC2D9Amz1wTs
TnY04TVs9ewlsLm1y6IhEaTB+HTTIHPicN2xSwrcKvHrxyTlZTReGxP5rV/QJNbP
KkVgWRblj//ksHBS0ZRF6T96KYIpd7KTvU0BwrVf1JqTtEI+xnvOU1kV0MhEIh8G
prp8gW/uKoL+SCYc3a9VkSk2H0GSiR3bdGxhBtZ22xH5sfGj73YCX4BNKAXAEU1D
nRvavVSt9j8HiPk5NYfxowKR0yPD595qxF8FFSUpH0AD2A/h0b4iMXRGrCCsjBuP
CPfrzUnwWLEvslBBb5710GXvnBQaJbu6/Y7ZSpBDyNn9HWf5lsTptptZAckE/uD9
axl/MfcmGnV14b9sOaAEZQorqywUE1TxliIGfgX7BpXXKUaa7nZ+BOdNfyfe6kKj
xi4QnpxuhyEYJTcNGW/f3sM109gQk+bh8vAXQ20IJRc7z20qpKda/YDINEUZvrGx
8RW753bGE3kO5UFWAvrEM380d+yJCjz+a/XGrlFCv4Ovt0XDbr8=
=nSsL
-----END PGP SIGNATURE-----