-----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.7-4build1
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
 57c7dca76b24773549748e169df8379001828c9f 10080 z3_4.8.7-4build1.debian.tar.xz
Checksums-Sha256:
 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 4343720 z3_4.8.7.orig.tar.gz
 62269275955ed4d2cf9bfe5d1903e3f5bffd6981c7f14660d778365099ebe333 10080 z3_4.8.7-4build1.debian.tar.xz
Files:
 18e7332ab136c1d8686ea719ed7107ed 4343720 z3_4.8.7.orig.tar.gz
 eb2ebea775f95894a2111db5b403861b 10080 z3_4.8.7-4build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WmwQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9WbREAChbQ3BPr0f0OX7lsEU2DwtY3s7t61SVL5s
Pes/ndgiHA1EjqVuaDmdYpJPkkYdMKs99RGm5egGqHneI0MVup0tddwXOCmQ2waX
mWVz+cYjexvOS2IgvyS0VSrgT7K00zY+mPTBL8oEZVIvUE65KegwmNZCnagVkQHi
NOIZ+tlimUiQEpIFy5FezHRxxMTpjvB8i9m+Od4QV4xp8v9bgVVIujAPfceQzVCu
xbT1BsW6DfthFgD8/h8Z2vCpkrwuu9aaMYsU2TRfCACzOjhX43THeWPRFWS5J4Ng
80mrzExZybTA+QwREkAV01RCQU9v/GA6iy9L99EGcWvLbrdcx3XJCe81rnkyvtfw
YkiKjj/axdQMS0VFyTVj6yhr+qNavUY17E6Gz5kibXdw7rd1kyzv0032Xnc8b57Z
Yp8a3duF009c//WFwQTnQOkhR3jm5z7oU4mCbsBUsvUQ0SORiA7Q2g/yAHhTAgM9
jpJ5qoSVZOgbzene0wcoxMh6aEAK9b8WMzVad8el2S4EyMv3M7pZxYl3djl8PqYn
vmr5uv0cB3V5imfR4RQ2rc6B8F4JyfuBKXQBYGVGXbZjW8QUE9SiMdmcRXot790j
MOGj9sQIZ6NGX+EKrBSdZHVp5pr+8eWLbJ75Kt71YEJkhA/MSKQ2tysM6RlXMJpa
F3TN/tM5QA==
=KDtV
-----END PGP SIGNATURE-----