Format: 1.0
Package: z3
Binary: z3
Architecture: all
Version: 4.4.1-0
Maintainer: Dan Liew <dan@su-root.co.uk>
Build-Depends: debhelper (>= 4.1.16), python (>= 2.7.3), mono-devel, default-jdk
Directory: .
Checksums-Sha1:
 7eed672ad23533836fb5e795db6b77095b6bf138 705 z3_4.4.1-0.dsc
 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz
 3acd00c641a310f4be2aa5db074fb8ae86eaf5ef 14195 z3_4.4.1-0.diff.gz
Checksums-Sha256:
 2a7873491161e27caa5b62b5714a3723c86859e84059c26dfeb9457323769b48 705 z3_4.4.1-0.dsc
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 20874e2f27ddd678f821d6d95049ef17f469a938d2abb5a30e182bff5c55920f 14195 z3_4.4.1-0.diff.gz
Files:
 70f02d4ca879c7069f5b2cc2da4736f0 705 z3_4.4.1-0.dsc
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 4c8448f701a2c7c52706bea42c1343ce 14195 z3_4.4.1-0.diff.gz