Publishing details

• Published on 2014-10-30

Changelog

z3 (4.3.2-1~trusty1) trusty; urgency=low

  * Don't remove .pyc files
 -- Dan Liew <email address hidden>   Thu, 30 Oct 2014 14:33:00 +0000

Builds

• amd64
• i386

Built packages

• z3 An SMT solver from Microsoft Research

Package files

• z3_4.3.2-1~trusty1.debian.tar.gz (3.7 KiB)
• z3_4.3.2-1~trusty1.dsc (1.0 KiB)
• z3_4.3.2-1~trusty1_amd64.deb (13.4 MiB)
• z3_4.3.2-1~trusty1_i386.deb (12.6 MiB)
• z3_4.3.2.orig.tar.bz2 (2.3 MiB)