Ubuntu
z3 package

s390x build of z3 4.4.0-5 in ubuntu xenial PROPOSED

4.4.0-5
s390x build

created on 2015-12-08

Build status

Failed to build on z13-017

Started on 2016-04-20
Finished on 2016-04-20 (took 7 minutes, 38.7 seconds)
buildlog (42.2 KiB)

Build details

Source:: z3 - 4.4.0-5

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: s390x

Pocket:: Proposed

Component:: universe