-----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-ok2
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,rv64g,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,rv64g,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
 59e5ac18910691c47628db0463be3c0caa80988d 7920 z3_4.8.7-ok2.debian.tar.xz
Checksums-Sha256:
 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 4343720 z3_4.8.7.orig.tar.gz
 fadd4957b293b25960f3280f093167ad713ff14947bc6c3640791bb50fcef255 7920 z3_4.8.7-ok2.debian.tar.xz
Files:
 18e7332ab136c1d8686ea719ed7107ed 4343720 z3_4.8.7.orig.tar.gz
 0db0ca84f9c52c0bb07079508a7751d5 7920 z3_4.8.7-ok2.debian.tar.xz

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

iQGzBAEBCgAdFiEEZPu3n16uZNeS6Uz+BxbwD4Qs0nQFAmXyvLUACgkQBxbwD4Qs
0nQUcAv/TqS+EILla7if+qZZyqLyPmDn98J/suW6YWDTbBWDEB1wnV5yKXjRh6wI
oJ/ODbSggE9WcgU7V8pW6CJV9+szwjywnjbCmPqeswlTiACW/iQPBudhCdXij3nm
SmVFmsjHqjs2T0G59QmJRCYcRh4e0rdgWecN3tY77ZfCTUlgfiCV42B0PQ1olKEh
vrYgyLsYoqS5V0ZzcipEH5+HhrVQosRVQODsfyQINQz94R/TV6jJFLiFkq2/K42t
ry4TCZFUwL6u6viLe3pC1tge9MXWacT19AHH31MMgl9oNNCjUStZe9eqKHczqLIm
ipYSXY7tCx0b1vup7QVzEm83MNy17DNERNByDxcx9DapqOJlf9ewnUVMoSf+Mjk/
osemVI9dhkAzLOaI81usWr6MwbuLo3fR842XrTsb5t7Ez8DRMyngVHBLwVH+NO0M
boN4zk6hmUqWMw9LvHkrKe8Z3F7FHrG/PvJ6TEigqKEbDfrHi/9vKBmJzAxlgNBK
3ClBUsOS
=kH3n
-----END PGP SIGNATURE-----