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
 3acd00c641a310f4be2aa5db074fb8ae86eaf5ef 14195 z3_4.4.1-0.diff.gz
Checksums-Sha256: 
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 20874e2f27ddd678f821d6d95049ef17f469a938d2abb5a30e182bff5c55920f 14195 z3_4.4.1-0.diff.gz
Files: 
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 4c8448f701a2c7c52706bea42c1343ce 14195 z3_4.4.1-0.diff.gz