-----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
Architecture: any
Version: 4.4.0-3
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=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
 ebe7b546d9dda24095d6bfb3ab6f62ece5abdbb5 7940 z3_4.4.0-3.debian.tar.xz
Checksums-Sha256:
 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz
 9926e0c4140647f5cafd2305b02ebb390bf58184a0a3e8d29ca949e45a6e2700 7940 z3_4.4.0-3.debian.tar.xz
Files:
 025d369549fbe686412c51f92ec156c3 3457136 z3_4.4.0.orig.tar.gz
 6c9e18a2a52812be04ef7837553219cb 7940 z3_4.4.0-3.debian.tar.xz

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

iQIcBAEBCAAGBQJV4H0cAAoJEDu/g5M27KkxN4gP/27pGdsFmQP5i4MFQBJVxpAE
h3Ko+5iTJE/nJ4Zngh+VqiHZm9LTxMoxkEdPlbcGeObRXnxt4eucQ3/3jnLFs2c/
duv2QAH3/vDOHC9c2lzs9tQR3CaFLsgBUHjRxIz187tA+0hBPBO/LySM5O11ZWrp
F8ELXQLOXzO5t9F9+aU0MvlRF0+zaEPQddCGBiNLpAoY+eCT5L0iGVVIdgDAqOBl
YL0kWIH6VEhWlNfZZRhgWNJYH/HfZp9zMZXYJ/Y0jH8IzpHHUjV+g9S6Ix6WnG/n
Cy4BPpvVNzS4rJPvUk85oENSPPoyDyFpU0E87nlju6BJdgw4e1wYf6NKy9gCBN8k
4TwEUg5+3hDOKUDiHfDGzu6tIzUhLc4H6aXkmXFWbBAiaRLmVwggYmijvWOJEj67
0bswV3RgZ70Kk5RFd55FK07MPucwrm5bu38omUJuzspV8JhdWUAhE+6dtAyj6o1P
+L6OjcS6D2RKUYpBrLrFNSTRAYpCULDDKM8sVgnZawl+9BpkRfW/NhOfOzWkM2R8
TvWBsF2nefPjllZQ2BRt3YlhPny/YhPzh1ILzsOpQfJSoADqUvOiChQF+gCYLxJw
YH5cSme2SyQGweMsx7oukXA4NKD/GZUNdS3zgPEFcEutbWR83ZflGL+TghoD9KCu
a36gvr8cXeAgTLg4FjLd
=iAEP
-----END PGP SIGNATURE-----