Format: 1.8
Date: Thu, 02 Dec 2014 14:16:00 +0000
Source: z3
Binary: z3
Architecture: source
Version: 4.3.2-0~precise2
Distribution: precise
Urgency: low
Maintainer: Dan Liew <delcypher@gmail.com>
Changed-By: Dan Liew <delcypher@gmail.com>
Description: 
 z3         - An SMT solver from Microsoft Research
Changes: 
 z3 (4.3.2-0~precise2) precise; urgency=low
 .
   * Initial release
Checksums-Sha1: 
 500d1cf0156cfea51d810621b7d39d5e8d32b9aa 1052 z3_4.3.2-0~precise2.dsc
 37937f55277bc8323b91e54dcf616c1901923a1c 2428320 z3_4.3.2.orig.tar.bz2
 ad2cde52b8410c75af493c850c4ccbed612f2095 3665 z3_4.3.2-0~precise2.debian.tar.gz
Checksums-Sha256: 
 ae62271e80107ed8033195c380400dd47cee480a43e755f6c2d024b6134192bc 1052 z3_4.3.2-0~precise2.dsc
 1059cb2046d290f5f710c7adf3ee40393b1c3bc1ee2d98fbc84d5d663a741930 2428320 z3_4.3.2.orig.tar.bz2
 1b92e23aa156538fbacab570f6bb47e147001dba5599e439f65f74be849abf75 3665 z3_4.3.2-0~precise2.debian.tar.gz
Files: 
 9504f6d5af55ab64e92ea5af39f4a0c6 1052 math optional z3_4.3.2-0~precise2.dsc
 788d6ff59d02fbcf75a9afd517a83a34 2428320 math optional z3_4.3.2.orig.tar.bz2
 f6f0c7975b08d1b6cfcf045879b3bee6 3665 math optional z3_4.3.2-0~precise2.debian.tar.gz