-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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-0.4~deb9u1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: https://github.com/Z3Prover/z3
Standards-Version: 3.9.6
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 extra arch=any
 libz3-cil deb cli-mono extra arch=amd64,arm64,armel,armhf,i386,kfreebsd-amd64,kfreebsd-i386,mipsel,ppc64el,s390x
 libz3-dev deb libdevel extra arch=any
 libz3-java deb java extra arch=amd64,arm64,armel,armhf,i386,mips,mips64el,mipsel,powerpc,ppc64el,s390x,alpha,kfreebsd-amd64,kfreebsd-i386,powerpcspe,sparc64,x32
 libz3-jni deb java extra 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 extra arch=any
 python-z3 deb python extra arch=any
 z3 deb science extra arch=any
Checksums-Sha1:
 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz
 c6cd1182c89458879a59dcec233c03748888c4dc 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz
Checksums-Sha256:
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 884d944c8076ef4f58ccb1cdc677ffeaa4c9a655a41d08746ded10b6a5a0d5b3 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz
Files:
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 aaf2b7890ec9a264abbc13488d049bc0 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAluenUYACgkQiNJCh6LY
mLE88A/8Dg2eHIg9+4FHwEKvczvWkIVu0WYtDKy2PiJQcekepBeS41SaUAal8JdS
n1cwSs/6LYNmduXQFKdsSS/FwjxGaTfjlnFEqJ/82pHGPOBl/Y10Xs/kxuInCZQW
1mnmoPxyFOHWkOBjcYnDU0dAcq7v5UCbhwhujufg0V3KSFqJIMYJEdqgLjc37rPl
ny+9xZdx6+IyN3yG/OEfY2J++dOy+F9OGh9Sl2j5BX/PGPNmJB+6zHzZH9zHUW+6
evq+CTtAG+1wLy/0lFAP1MGIH0WxJGTlYkiYvdHD+bjZiCwE++Nh+KmedTHBle/a
ue3O4crMlb5OB8ezPXofKygZnAgdv6ouTBm6TATlJNe7TwtUMVJTl3FlJQI02u3k
YIeZjbInmOQg6Nq8MKfogx2/AC7ND1jL7r80/4y/xYGpuv3jdbHMA/SUof8dW8ku
ldnilbSVEBQfLBoXxtyDo/nAUeeGf2U5Nz81TccR2i4jJYqlSSWWtglzAprU98Gl
oB8UBP2sU8qUn+KYKGfV+GdssoYCB1RojlWf1/C4W1svUHSiZ29QeUBFTxO9nLoT
DXMuqFvkeD8RrtknkJOrvmpVAEFqLPzE+SI7RsUw1dbQs5bUSwRRmi5ipJ4ivb01
rp84ND12BFSBwmwLPn5hrQGkRg3XeAff9ckPPlOJD1oCqDvAKQk=
=TZmj
-----END PGP SIGNATURE-----