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

Format: 3.0 (quilt)
Source: z3
Binary: z3, libz3-dev, python-z3, libz3-cil, libz3-ocaml-dev, libz3-java, libz3-jni
Architecture: any all
Version: 4.4.0-5
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, default-jdk, ocaml-nox, dh-ocaml, mono-mcs, cli-common-dev (>= 0.8~), libmono-system-numerics4.0-cil
Package-List:
 libz3-cil deb cli-mono extra arch=any
 libz3-dev deb libdevel extra arch=any
 libz3-java deb java extra arch=all
 libz3-jni deb java extra arch=any
 libz3-ocaml-dev deb libdevel extra arch=any
 python-z3 deb python extra arch=any
 z3 deb science extra arch=any
Checksums-Sha1:
 e3b895869a723b9d13cc77f48a4ff7d2b721a8a5 3457136 z3_4.4.0.orig.tar.gz
 ab8b8907f9fc48e4230101b7c4a426deaeb52f58 11420 z3_4.4.0-5.debian.tar.xz
Checksums-Sha256:
 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz
 dbdaa34c974f6dbaafa2a2c7c764bb174cfbc8658a960dbd987c0adb236dc134 11420 z3_4.4.0-5.debian.tar.xz
Files:
 025d369549fbe686412c51f92ec156c3 3457136 z3_4.4.0.orig.tar.gz
 1e333de46d8dd9215d4089ac784d5ad8 11420 z3_4.4.0-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJWETMzAAoJEDu/g5M27Kkxc7kP/RneczLSFLUSXI9xuCcOiklb
FQ93a/2xVp2BBXoGChiU+b6Tzm39Piw9+JhQuIA617MgZ5xkE4WICgbDr/VGcBtV
B67wArhwJgAvH3rrrRBzRmed0kqbGorljBdbGBf4GwzCbMTX7q3ns0+JLCgojhKp
MuZlCkA63ESJz6hiSCTepFH7jzulnx1MzioN7xEQOuIvQcbnZksHQt8Jw9siM00g
oA3wfWbAlXbihoYCRx0blJHice3aFX9SGsm9ALfhb2Em3sg38kbiI8RDYbJInLrd
ZK0FvPXIBH2YLfxEVOa2XHDCflpYx5PEq+kHeaZD+ZENPRTOc6QQKUGndop3tcu0
xi1Cc3m7n6xzxXi8F8gbRnSkZfpaY4l6xxlDDwap/OTRrhFsipnM9SwJOZ2ZUMTK
uVF3PMawIHoXwQkJS9KynDQt61mFHpPmfbV0dVJU0KNV/fpSQ/qBP9UneIIHHCIU
R23+qlIpwjjuuxsWu0iKYj985xMtQKdwQYPf6r/4kKt4LbnLaMbex8UX4L5Dmi+f
XX/rv2tgQ3K7P/89lm9wkSV6Zqu7lPN87jnDG+I0EoVB6KWqgrfjoy5zkj4I9FpF
ZesEEdR72SDlqcWJS8tPgURWB9+XAm/knK6RhgjG1Ozt7lAEbNJps2rQL/mATQPR
5M5VOeNNqTQSERlUNxNZ
=NuqE
-----END PGP SIGNATURE-----