-----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
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.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
 2f37f8566b2bfeeeac62d228e86a62becd48dad1 10308 z3_4.8.12-3.debian.tar.xz
Checksums-Sha256:
 e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 4803435 z3_4.8.12.orig.tar.gz
 1eb8b62a1194956a0049d4ab121bd088a727499dd69d4d7dc0f4e6c09affec3e 10308 z3_4.8.12-3.debian.tar.xz
Files:
 73fd07d094685039b03aed9e38040d13 4803435 z3_4.8.12.orig.tar.gz
 f45db163406f1154f020a50ddc9e622f 10308 z3_4.8.12-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmNS6LMACgkQfmUo2nUv
G+G9Gg/+Nkz1TwLcFtP0oEfdZQ/eNtITbgcNtj3h463iSNT69Srgxp3Ibv4sX3ib
dcAbsK8U/0ZPx3Ceqn33zc2/MQQjWTB9orIv2o4DUjCW3ya+5v3MPsjqiuh3c+/n
p/kvIR/NapsQEuduOX6q3u7abhC6m+ifznZxuEHGzxTHGvDt88B6u7viJMH3SeD9
/ytQaPeoCZUr+ELnUGcJt0g8b17piSATr2U+lNtoyrZQO1KJ1o6eHVO6bLT8KwIk
pbw+4iXoCjKyZCvaLsLgbqx5RoK04H/rX+0hMdqguC5yMz6LSQBcTdDIw8aQ38ZS
lf8jqFq3n04/ZoaAaW7pylrztBSOaX97uiyz4RooJIzcq0AoEcttxqDbaGzP4D/1
lY9J0a4CtdIUvtmM1lX+qWUC42nBKMob7JqaAXGJjDjixowmMquUP6oHoSp9b8s1
3Hh0uVSQT14IBgYjFZLVz/+9iwZOvfo8ubabnx+1rIPNILbxZo1+xoc4GXxIUggr
tpEd6GKZDMb+n70y5TxucDmBmZExX5s/n2p2JBc4L4Qxizrl690fgAQv1NRrMW4n
hPDCGbZ59LkRrHugOSndKAJKbrvT/f6zZafngJPJNBHeGyEKju9Pyhu7xSZrXDLA
v5JCsa47Ntw3qScEaQxHFOH/aaN11jaqusIHFAasxpIiybLKmwU=
=FvMT
-----END PGP SIGNATURE-----