-----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.4.1-1~deb10u1
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.2.1
Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
Build-Depends: debhelper (>= 9), dh-python, python, javahelper [!hppa !hurd-i386 !m68k !sh4], default-jdk [!hppa !hurd-i386 !m68k !sh4], ocaml-nox, dh-ocaml, 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:
 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz
 ab83a33d32ef56c3907bf3571e53a5817d717b66 14716 z3_4.4.1-1~deb10u1.debian.tar.xz
Checksums-Sha256:
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 970648b0924b4fea16dce08d3f2f95048c8ef5175bfefd27c4101386898cb218 14716 z3_4.4.1-1~deb10u1.debian.tar.xz
Files:
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 ba2cf970d031bd52cf4b759d66363263 14716 z3_4.4.1-1~deb10u1.debian.tar.xz

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

iQJEBAEBCAAuFiEE6/MKMKjZxjvaRMaUX7M/k1np7QgFAl1hFEQQHGFuYmVAZGVi
aWFuLm9yZwAKCRBfsz+TWentCHvqEACa4rej3xTryNB2xz3yFSGra8afUfix+4Vl
IgKO7lYpTHKiqqS3vHe+eOaN5wie3yRgOUUDTP0kGTBGJa/f03zH4tub0pFVQozk
UsFLaYPVF5LhSxPl1YpDp/NiIhptNn8OuPPUw6xBPTAJVDiuk8/YuNB8yHR+dms3
CGaUJoFMhcPojI+wf4QrbmJ5jmEk59iI1VtMyvH6dwAGThj8U31Xs+SLCipXqYfE
/4ZFkrQNo9x36LFEXX1WXrZRM59NCkHTUjdWYveikyHCYUorvXwcvxwxlYtk+7gi
oh8etnebaLzfRryyV26ua+BreJUYIpBlZbDam/L2Wg9TIC5BWPheVui8jxZ4ahoO
bCkrarkBsiKT0hahDTFtNnPgPCT7TONWI0B6cpodgWPZqoknRQ7omAp0Qpa6rzDN
prPWaeFclJs+5ntfG3kiNKj3huWRrx/sUSrrPTDYZSAuATfCYmMIJ6qY/M8x2EZ0
JQJmLBNrDp2bTNEn5qQKd5VRRknnqby0npYLizTgLuFW6TqIW7L0ZOB0yZ0tL1zn
sFihG1wIhhCKfesvgUlj8EeFK23rl0BJELLP4m0FYY9ZGkaD7dO8NI4/YwIok6JH
qqfeDsz3KG0nz/EhIGxj/deqPE9eV628JGXV/jdnHmKAFmMhiN4jsb36riusDMOj
UJ64I9rnvw==
=7sak
-----END PGP SIGNATURE-----