-----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-3b1
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
 7052cff54c17a78eb15034c1bdf2a09495aee29b 8048 z3_4.4.0-3b1.debian.tar.xz
Checksums-Sha256:
 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz
 29ab581d8a39122ca8b3441060b32e88ff368ab3901c6e07f8487e609efe6849 8048 z3_4.4.0-3b1.debian.tar.xz
Files:
 025d369549fbe686412c51f92ec156c3 3457136 z3_4.4.0.orig.tar.gz
 ba3abeefd5f6c9e32a2728f6bf7eca44 8048 z3_4.4.0-3b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXYVsTAAoJEKBN28suwKn/eN0P/2XlPg+ITP/s9IPR8lSZFdNO
M+9tlPke0CABgDiC8jYOyGwUQSf8l23QIUxZICEL0NUyb97MqgQr0tniqYkBLQvq
vpKqFAPjFylIxwbG1EQUsRJo+MyLIkxSiUj6fkztrak9fYYk5YDXnLIQ0altkzmf
S8D6tzehonmM1ftAc26vTjf+CKP9l1OyMh7+KG7/gO5uNesZvgA9yVpN84UaHHgU
lXh2g+Fn7V1Y9yU8c5xcqdRRdnYk9E7/kqW70MPqlKUxxUwB7kcby6AFcD3cu86p
al/h2FV4zZTOJN0mpG4P1z8iNWBP+q7JVUrADpr8yxl/SbZ5gqZ0qjJmt6B/Jmny
sG1yPAphMEhWfrrrBVIUlI6sFS83MZryuSUvahhHVZgwmbI9tHEl9ZwHxJHZK0tj
L6kWCe7HU5XOA5jdHc9+wl+YGDwNlQgenMNxPqIJM/h3LwWaGY0d4wOYtwlFH1WZ
i2kRH6xgp1q3t8Pbkl3/6Mi0oqRcwUFiKNgpTMgW1HqcKW9F7wbPhnpOfFuB74ni
q3F2HIDqd4yeCwBCU1pQ6mOR7AWgkdhAZcj4D/+afyI9p5e/peZCVrZrQSgRtAvg
WGa2JV7h0Y8w0o+E0XHgMxqEpMIYQ7CyEBPFCq9ueBwYETWDuIzmgIRmbxt4vPGx
mU0kJg5JgEK3z9DDLKs9
=7Lds
-----END PGP SIGNATURE-----