-----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.8.12-ok1
Maintainer: openKylin Developers <packaging@lists.openkylin.top>
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
 7f7a6b7d7619079648a56f5683a9d2cb7fb02bc2 7492 z3_4.8.12-ok1.debian.tar.xz
Checksums-Sha256:
 e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 4803435 z3_4.8.12.orig.tar.gz
 012f26dd9e75e5a380151456222fd68a136b55b1d876f7f85fba68ce49b0aa40 7492 z3_4.8.12-ok1.debian.tar.xz
Files:
 73fd07d094685039b03aed9e38040d13 4803435 z3_4.8.12.orig.tar.gz
 f2064285fb04eee06f11b5cc6e4d85fa 7492 z3_4.8.12-ok1.debian.tar.xz
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>

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

iQGzBAEBCgAdFiEEZPu3n16uZNeS6Uz+BxbwD4Qs0nQFAmY44m0ACgkQBxbwD4Qs
0nQY0wv/Q268M3cxral3GGBW5hJYjPNxbxE+qlyZYExskrQtnGKW3ML8A0pf44UM
Ih8+L1TmcR0VD+DNBnXPVswlMjnUXPkAX72Kk1S+bA7FpCtNdAcrutZ4WGHj6rh1
4HfxU4ei4MCKsJ8ynfywrvngGbSdwII6ksvDggshlvlR5Om0rYEwfQ4uQL5PHt2g
Mf+V6n0JtERmRI5eoZFCC5ied37PiWXnszf3lgQknBwr+SNdPLSA3Y8gvrkiXmlF
ASlMRSddLU7dSKY82Z4lBpvyqVUYkE+zUM4pVh9J+fC2bLn2sq65DYPk+jnOoldu
MwZqjqlzf/RE0tkmhjDDwy+a0zh0eT+q2PJHQUYHbkWxzR3XXL7BiA3QMnhwEZA9
LN9gM+aGWdL23d2sNefa42b1R5d5VJXp1NU2SwtPrpb74FuGvxRB7Ww5MjDJbprz
QKdozOPih9XtW1smSLL/4tf6TaSj/KG35jlkDp0F60ajKj+K0rOgewnDqvpTFZAX
w4fveZfd
=1mSx
-----END PGP SIGNATURE-----