Publishing details

• Published on 2015-01-02

Changelog

z3 (4.3.1-0~trusty1) trusty; urgency=low

  * Initial release
 -- Dan Liew <email address hidden>   Thu, 30 Oct 2014 14:05:00 +0000

Builds

• amd64
• i386

Built packages

• z3 A SMT solver from Microsoft Research

Package files

• z3_4.3.1-0~trusty1.debian.tar.gz (4.4 KiB)
• z3_4.3.1-0~trusty1.dsc (1.0 KiB)
• z3_4.3.1-0~trusty1_amd64.deb (11.0 MiB)
• z3_4.3.1-0~trusty1_i386.deb (10.4 MiB)
• z3_4.3.1.orig.tar.gz (2.5 MiB)