Ubuntu

s390x build of z3 4.4.1-0.3build4 in ubuntu bionic RELEASE

Copy archive test-rebuild-20171220-binutils for Matthias Klose
s390x build of z3 4.4.1-0.3build4

created on 2017-12-22

Build status

Successfully built on bos02-s390x-016

Started on 2017-12-23
Finished on 2017-12-23 (took 12 minutes, 33.5 seconds)
buildlog (346.7 KiB)
z3_4.4.1-0.3build4_s390x.changes (3.6 KiB)
z3_4.4.1-0.3build4_s390x.buildinfo (21.7 KiB)

Build details

Source:: z3 - 4.4.1-0.3build4

Archive:: Copy archive test-rebuild-20171220-binutils for Matthias Klose

Series:: Bionic

Architecture:: s390x

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

libz3-4-4.4.1-0.3build4
libz3-cil-4.4.1-0.3build4
libz3-dev-4.4.1-0.3build4
libz3-java-4.4.1-0.3build4
libz3-jni-4.4.1-0.3build4
libz3-ocaml-dev-4.4.1-0.3build4
python-z3-4.4.1-0.3build4
z3-4.4.1-0.3build4

Built files

Files resulting from this build: