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: 
 c6d2ccf5957148e055c638375d714f898ed96e6a 705 z3_4.4.1-0.dsc
 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz
 d9652a0d715fee2f0c8fddbd182f1bd79cb3eeaf 14164 z3_4.4.1-0.diff.gz
Checksums-Sha256: 
 0587f64b175e2aa09a77a6fbbc2a6b8a720c18d05c866009238fb25abe7d4403 705 z3_4.4.1-0.dsc
 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz
 a8dbb88a6daec59da647c517195f964d8e941f030cd668356fbbc4ded035e31a 14164 z3_4.4.1-0.diff.gz
Files: 
 82169727ed66cfa607c8284152561ab0 705 z3_4.4.1-0.dsc
 4336a9df24f090e711c6d42fd4e2b1fc 3347371 z3_4.4.1.orig.tar.gz
 d46c9da705080dd8e2e28dca23249119 14164 z3_4.4.1-0.diff.gz