-----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.8-1
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.5.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, python3
Build-Depends: debhelper-compat (= 12), dh-python, python3, cmake, 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:
 e60759b8017993b6cc550e6d96762f37f002c3a2 4520119 z3_4.8.8.orig.tar.gz
 6ccda73ace6eeaf907976b8d5b1e432236236121 10176 z3_4.8.8-1.debian.tar.xz
Checksums-Sha256:
 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff 4520119 z3_4.8.8.orig.tar.gz
 c861939c9818db03e29186805b9031c49488896e2085d76b16724abbbfdd3213 10176 z3_4.8.8-1.debian.tar.xz
Files:
 83089ea2472aca9954a70cf81e21e08a 4520119 z3_4.8.8.orig.tar.gz
 7cf2465dca16d2af6f463923c4238c6e 10176 z3_4.8.8-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl7briMUHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0nKnw//QsOXCB8LCkFkCT3W2ABMC9fQIwYh
jhBEOMs/xQya7PjOTMlta9GC01jKzcDumyz9J/Vz9Zk/wNJyY25640bxewu7k57+
QS3KV4uu83sAwrJQSLaTaJlOcDzNV9SZoHVSXGgtHlkJCyACocFifEsjQQXkhFfY
UU1Oy34MH55cGMphRTPkeSD9766kgan26VweNmuD/tstUu5HQ9klG1qbt+26qaOd
figRPwyYQ/w8cBrqiAnJBJU39o7rw3xVq7JYiPAnnz5eyv+0+TQSG2f91NC4hkBx
E8s0P6g8kez6LkVD0j9V2kQHTGa0h3KO6dujRN0nR4SG4igREwKnG3F8dSsv2uVt
JnAlH+d8mOu5n9ktVGb6paBdY7MckyoK5rClI5eg9Ad0ngg/Wsl5MTHpIH8J3ENL
kZDlk8QerdfM6yCo46HFUNGKD/i3tJh8D/6AdRV5ItlZK0B/VTPWHofzioaVQrla
ErWE4o1h0cWbLuaqpGyGTOGBPHxEFfP5TEv9BxYV7Nb6qF7oabiRj6ITii3XIl6z
IXLstIPpOiUT6fpw4I2K/MEIF9CwVYmst7ji4z6bRBsB0K9rWi/Asl0pfisDpI+i
vnsQhmNkMtVxk9uxdcERJ0w65rJ6hX86aYvPK9DPt8x8zIbpM5LcYi56yeB+twA7
tKHqSeUEIm5JMto=
=KY6Z
-----END PGP SIGNATURE-----