-----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-4
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.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
 236b748b34905138dbb5ca2462a1b915cf9ce784 10008 z3_4.8.7-4.debian.tar.xz
Checksums-Sha256:
 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 4343720 z3_4.8.7.orig.tar.gz
 ce9f3960b1ac480dc0e3ca5a54e9d6d8de32efd6b62f9e6114e927bb5da4b7cc 10008 z3_4.8.7-4.debian.tar.xz
Files:
 18e7332ab136c1d8686ea719ed7107ed 4343720 z3_4.8.7.orig.tar.gz
 869a74f13349dfcb4c89b49fe48b639e 10008 z3_4.8.7-4.debian.tar.xz

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

iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl4c900ACgkQilOItk1p
K0nA3A//Q5wX9QhXmmaIAZxH72il9MhILQsBjzC0P1+36CQEJLiV+ngYAeUhpk8L
Q2qYIgHEhEWHuY69GP51OM5pzwfO0bqz52Kjq+BfGkYfwrdqrwIGr635VyZ1RDYg
0igTU4W92BgDymLIkmHrD8IPjseaay327tjMUS3EssJuQ595keOa7luoAIEbqVlN
ZSZdfxM/MrCrsnBq1NuTZeLlmmGfwun+EM1uVDLNcl90H8sFZUOc4p58iaQpOx32
/ZY5fjPpA3taEsbTaU4JMJP5EzfP+uMfsiFG6mBD5LV+97Vp720KBp2vkpnBPyKR
nx8R4SY/uQJw1XeoOwJmCY2McgTqY2A2EVqkS3RleAkBWgPoKyT4xCMGCAHO7eXB
mY2igfRXlkxYXyQRekumCY45KBhgrrtk3Ha6TvVyAA5YmV5CcWTf6myppvgBW8rC
H3VAR8GvUNbxNJocxzCJSO+HvXRPPEp9o9wXRoGFyRRWCKRfMYfGRTseM0DSTsOO
tCRZK/Sdo1tTX/L/6h2lNkJXIZhkGIKeCvPUCtAnjyUGC8Md+jZsys8F3mL7g8M1
xvE9Clo1tOgvlPJOj/f5T1+hjnpVKg2796syEL4s2oo1DYPPPIhhm0eth7kxeSBo
e0t0c+/uDrNasUZxES5W/YjpVzEvv4e32/aDa1V9DjqGE4Gfj6E=
=g5Ql
-----END PGP SIGNATURE-----