Format: 1.0
Source: z3
Binary: z3
Version: 4.4.1-0
Maintainer: Dan Liew <dan@su-root.co.uk>
Architecture: all
# TODO: add other deps
Build-Depends: debhelper (>= 4.1.16), python (>= 2.7.3), mono-devel, default-jdk
Checksums-Sha1: 
 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz
 d9652a0d715fee2f0c8fddbd182f1bd79cb3eeaf 14164 z3_4.4.1-0.diff.gz
Checksums-Sha256: 
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 a8dbb88a6daec59da647c517195f964d8e941f030cd668356fbbc4ded035e31a 14164 z3_4.4.1-0.diff.gz
Files: 
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 d46c9da705080dd8e2e28dca23249119 14164 z3_4.4.1-0.diff.gz