-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: z3
Binary: z3, libz3-4, libz3-dev, python-z3, libz3-cil, libz3-ocaml-dev, libz3-java, libz3-jni
Architecture: any
Version: 4.8.4-1build1
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
Build-Depends: debhelper-compat (= 12), dh-python, python, javahelper [!hppa !hurd-i386 !m68k !sh4], default-jdk [!hppa !hurd-i386 !m68k !sh4], ocaml-nox, dh-ocaml, libnum-ocaml-dev, mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32], cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32], libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32]
Package-List:
 libz3-4 deb libs optional arch=any
 libz3-cil deb cli-mono optional arch=amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mipsel,ppc64el,s390x
 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,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,sparc64,x32
 libz3-ocaml-dev deb ocaml optional arch=any
 python-z3 deb python optional arch=any
 z3 deb science optional arch=any
Checksums-Sha1:
 171be55f306966a6968fef5e8ecb65846fb3b734 4117081 z3_4.8.4.orig.tar.gz
 71304731386eb66382c9439c426150c046d8e9ac 9528 z3_4.8.4-1build1.debian.tar.xz
Checksums-Sha256:
 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 4117081 z3_4.8.4.orig.tar.gz
 34a4b5ac1a31dba3e0efcbd8bdeb80dcaf3d2d0c4d5c9ac73d0fb080b5ceb847 9528 z3_4.8.4-1build1.debian.tar.xz
Files:
 b74bbb04e90c034125fe9e01988add95 4117081 z3_4.8.4.orig.tar.gz
 9670719c6757043d13be247771648a08 9528 z3_4.8.4-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl17Ut4ACgkQ808JdE6f
XdmwWw//Rv4EH7o6hxoXBYkKeU49RaA1Z2h5NHd+JcTzZ4LDBXhVf7dP4TO5GKmQ
yOKAcpGqrqQAW8y9HH6tff36AWo6vrKaBGAmVMaDCjZZ8AmkwF1kw/IJ+K8ZVW6m
JdNgiKuzcdCZ1BLmPkmYTIVmY6q0MixUyOycZ7nTsf6+ldhByUN9PY82zWLDewjK
sZgkXQ4giGJRbncOmNiiv1Wi0bHCR5VqbmjnhosmB4tAVtRW8MPkzZDy4zGP3MkL
iKY0oW9MEbmqNGwVCoPShfy9CXyhb4gyOMiEcUk2YfBf9z1Lgh+9mB1CK+4a4Z23
Ai8Wdl2hCsa/DkgCjqZI8fgETydnlKLLYpGb/9X83WXPQjq27v1sm0PVTrKjq0MO
9SKMNkEi8t6ZVR+EdwcQsUVcixLcwEb+7ETM/RPbLcyBbI0MZM2aelGAymuxxyf2
tka9e+bbFh7uWHCPKdNApZ4X85A41XCZefYW8Kufzc88VtNaJe1SE3f2tXEbBsXB
4dcfE+6QZhkJNNrRZYSUUL4u0zNMHTxRHcY+5zzXneSZI1r9Dh1XhvL2jYngES0k
3mE9SaxZyihUnjAQzheOk6baTyxvuI/dwqJ1xv445RpvmksfxqFpxcBX94vge9O+
L88tscFjvHMSJwv6pAMyyZGvWmuhViTQqLhQz0+2y3nUy+n6uyw=
=CKEi
-----END PGP SIGNATURE-----