-----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.10-1ubuntu1
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.5.1
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, 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:
 daaa94014a3ab45c17a75adb7446a28ac9de2495 4731869 z3_4.8.10.orig.tar.gz
 1e8d5f7518af851e7aa5ceb67e5e7748bb129685 10252 z3_4.8.10-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 4731869 z3_4.8.10.orig.tar.gz
 6f156bd6cb3d1467e79ae80e75e84fb07b4552f9bded8a46ed95571b6a399b52 10252 z3_4.8.10-1ubuntu1.debian.tar.xz
Files:
 e28c78a81489f924a0c2758e7376a5b1 4731869 z3_4.8.10.orig.tar.gz
 f18fb52658932c81d41766dd9c53d116 10252 z3_4.8.10-1ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAVKZ0ACgkQ808JdE6f
XdkXFxAAx/yHB6FIqzjKMdV/1LOBuycPrexgQAe1bCQYcVQDI3hmzEpfc7hBOFUC
iAB141CX9Xj5jhhLMqAAPMavAeZ2vgmNrYY28A3w4d7jGWGommtAZsF94ph7k9VH
YzaDnUGfpvazeCmfgb99Vg5U+jUgFxM2BIuvn3Ut5mLX3vH9+aJje0x3wdw7gXn1
tHBirTMq9UXJh0uWHebw+YrE7PbYbW/ycKWF8iICy2/SU81GchMq2eoanHSkJlz3
PlZIr829AOJG8o+5jicGHw7njuSmpTyZNGZm8VlxEAbjXlxl6ZWtRPZ0q1br2/eQ
v6BENoMzG3OOdrdtE724IbVGvfytKi9uME96OqceSEyrogWWNZeOmq2Q3k6wYoYN
04/7YcwtOkYXc4G+z9h3eKjHvQea0JbTsfndCVlUyzvy5zQH7KG5kzB6wc+kDJUi
fNMWJHc9NZRInc4TcLC8zWEXk0cOiPnBtX9ywVFiQchvTU2SDJJz3M/UWrAacqc/
IC5ZrKPTX13w6nzozL7sx8o4UeCng+qCTv6qWXXHNL27et7axMQvQT4LidpRQir+
QX2iG8CaXx0rVBUB4h62lAcbiDj489JfVIdQxa2I4yLowXF19uPTg0X5y2fZ8jYf
1bliKuLiAozWIfCpvCNAQvtuj8w3lbDhGGTzF7AmM9/wIuemG7s=
=pJTv
-----END PGP SIGNATURE-----