Publishing details

• Published on 2015-04-03

Changelog

z3 (4.3.2-0~precise2) precise; urgency=low

  * Initial release
 -- Dan Liew <email address hidden>   Thu, 02 Dec 2014 14:16:00 +0000

Builds

• amd64
• i386

Built packages

• z3 An SMT solver from Microsoft Research

Package files

• z3_4.3.2-0~precise2.debian.tar.gz (3.6 KiB)
• z3_4.3.2-0~precise2.dsc (1.0 KiB)
• z3_4.3.2-0~precise2_amd64.deb (19.3 MiB)
• z3_4.3.2-0~precise2_i386.deb (18.9 MiB)
• z3_4.3.2.orig.tar.bz2 (2.3 MiB)