Ubuntu

amd64 build of cbmc 5.6-1 in ubuntu artful RELEASE

Copy archive test-rebuild-20170706-gcc7 for Matthias Klose
amd64 build of cbmc 5.6-1

created on 2017-07-06

Build status

Failed to build on lcy01-20

Started on 2017-07-17
Finished on 2017-07-17 (took 24 minutes, 20.2 seconds)
buildlog (29.8 KiB)

Build details

Source:: cbmc - 5.6-1

Archive:: Copy archive test-rebuild-20170706-gcc7 for Matthias Klose

Series:: Artful

Architecture:: amd64

Pocket:: Release

Component:: universe