Ubuntu

s390x build of cbmc 5.6-1 in ubuntu artful RELEASE

Copy archive test-rebuild-20170922 for Matthias Klose
s390x build of cbmc 5.6-1

created on 2017-09-22

Build status

Failed to build on z13-001

Started on 2017-09-25
Finished on 2017-09-25 (took 12 minutes, 49.3 seconds)
buildlog (23.9 KiB)

Build details

Source:: cbmc - 5.6-1

Archive:: Copy archive test-rebuild-20170922 for Matthias Klose

Series:: Artful

Architecture:: s390x

Pocket:: Release

Component:: universe