Ubuntu

i386 build of cbmc 5.2-1 in ubuntu xenial RELEASE

Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose
i386 build of cbmc 5.2-1

created on 2015-12-18

Build status

Failed to build on lgw01-55

Started on 2016-01-09
Finished on 2016-01-09 (took 9 minutes, 36.7 seconds)
buildlog (23.9 KiB)

Build details

Source:: cbmc - 5.2-1

Archive:: Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose

Series:: Xenial

Architecture:: i386

Pocket:: Release

Component:: universe