-----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.7-ok1
Maintainer: Openkylin Developers <packaging@lists.openkylin.top>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 4.4.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, python3
Build-Depends: debhelper-compat (= 12), dh-python, python3, cmake, javahelper [!hppa !hurd-i386 !m68k !sh4], default-jdk [!hppa !hurd-i386 !m68k !sh4]
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
 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
 python3-z3 deb python optional arch=any
 z3 deb science optional arch=any
Checksums-Sha1:
 66edfbb8c1d9e3b2ba4cc990fbc4a00dfb43a182 4343720 z3_4.8.7.orig.tar.gz
 169e03f5824bd9670afe61078fc162c371d49f27 7768 z3_4.8.7-ok1.debian.tar.xz
Checksums-Sha256:
 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 4343720 z3_4.8.7.orig.tar.gz
 1098349356d72742bcc1b4542d5dc2fb9e31fd74e4949afdb6af521076eb60fd 7768 z3_4.8.7-ok1.debian.tar.xz
Files:
 18e7332ab136c1d8686ea719ed7107ed 4343720 z3_4.8.7.orig.tar.gz
 eb6264fa084707fc776740d0c26cec38 7768 z3_4.8.7-ok1.debian.tar.xz

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

iQGzBAEBCgAdFiEEZPu3n16uZNeS6Uz+BxbwD4Qs0nQFAmL6A58ACgkQBxbwD4Qs
0nSzbgwAlKn9YKuucvdcFih1o3TPrtlbBH9xZXjzLop+BLNx4bst/lZXrmPjfF4b
6/bskrCO+2fg6G3XOvO7q/Nyu0JrZxMQayJ5OYW3GhCQqic1pycavDqlyxQbbaZ5
ML9Qz/1mk+m10oAmDvHDoGXvoJiMbRj6VyMOfQWLIfGdAcMqlUv+FAWX1DRCF7og
pS0rcbWpoGQtUzONkvzt6snT81R/rm7yi8CWO6s3mG0DKvsF39KVjRdZAHHeGO4E
JnEQk4tAYLclmop9Al25Um9PPduEeZpwkB3D3ULe/TEq+6GJxciv6VE6j3o+K8X4
1qeIYc9CNluqbBOeHuQrje+yssUa6vJbQOtNIywX+YchuuTt2MaHVY0vOsLniKsh
Ut/pmckRSvvKwgxb2rk/+7+cXHJnnEAWvpiFqcrfdjSFPxlgdbWv1TXpxs+XW8Ur
KnPuOSIOwiCy/bDOITgdNogMZXTIQYBngITBySxptmZE8DS66beI2X62EOMu+soP
VO0Rsjzi
=pcYP
-----END PGP SIGNATURE-----