delcypher

i386 build of z3 4.3.2-0ubuntu1~trusty1 in ubuntu trusty RELEASE

smt
i386 build of z3 4.3.2-0ubuntu1~trusty1

created on 2014-10-27

Build status

Successfully built on lgw01-02

Started on 2014-10-27
Finished on 2014-10-27 (took 14 minutes, 4.6 seconds)
buildlog (21.6 KiB)
z3_4.3.2-0ubuntu1~trusty1_i386.changes (738 bytes)

Build details

Source:: z3 - 4.3.2-0ubuntu1~trusty1

Archive:: smt

Series:: Trusty

Architecture:: i386

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

z3-4.3.2-0ubuntu1~trusty1

Built files

Files resulting from this build: