-----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-0.3build2
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
 d58b14cccc27f5b3e66d7b8a4704355da4f76e3b 14324 z3_4.4.1-0.3build2.debian.tar.xz
Checksums-Sha256:
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 de1e12bf90d7093cfc339e4750b23b4948feee3618c7f38905ce8e4e451a1f4e 14324 z3_4.4.1-0.3build2.debian.tar.xz
Files:
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 7679f7e9c82a7c1c3019429b63fbe095 14324 z3_4.4.1-0.3build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYWvNPAAoJEPNPCXROn13Zc3QQAMXRpx2KKoDyzP2Y4IGpn7oe
lXUr+Eu9gPgqO1tb08k91nwPm/ujZKIWHd5e66hhtZ/qlJP/KTuKDsyMYfd1dHPb
ESeA8IddAQDHNSVffojad26dBAZTctXLaM1CpDUo7noacjWl8qnd2/HD2Cp7bXxC
t8oWgxouM3aZy5zZs1xq6vzAXj7likMYavXIm7gXeJQ8S0pq0r5Nz8MgwYjtqteN
00ouQG9LADcBTMG85x4tnBJwAyc1yCHRW7RUr0b1n2dva5oScgHgI8+pbdDUKH/V
N5smU2/8E/kOIR/N7kIQG5Koi7BxpztlU1hy/+z+hjj7E3wW7MpPI0of8pcl0+LY
uJyVRNaGMI9a5RBMugbASIRU0esXNK9p+yIIp8lnkwezO1cVw0JsYGRNZq0yDW93
gre96G8SJNV6pzLtWsYc4lzV/SJC9QNI5thEU49KfpZVxGrdNm3ImsSm+9tdNnAF
bk4CbX146oIE9ZweTudpwlFkgtfDn4UA0oarBuSH1X4j+WdZ8oG8ScbKTKjxB2lw
k8h8WOTHjPn1rNpC00oAYqo+TQsl1jNK6kuNKydidsK3/0ZZu1IBZd6Lmlwlz+xP
xR5fKmNQ5mg8BQNA1NsHB6M+sB2x5rraxIGaBMsBEwmgtslnXNOFc79Mn5DU4+Gm
Gjweq8VHqxgzjw9iG4Ac
=ypW0
-----END PGP SIGNATURE-----