Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
i386 build of cbmc 5.6-1 in ubuntu zesty RELEASE
Copy archive test-rebuild-20170322.1-gcc7 for Matthias Klose
i386 build of cbmc 5.6-1
created
on 2017-03-22
Build status
Failed to build
on
lcy01-32
Started
on 2017-03-31
Finished
on 2017-03-31
(took 24 minutes, 37.5 seconds)
buildlog
(30.9 KiB)
Build details
Source:
cbmc - 5.6-1
Archive:
Copy archive test-rebuild-20170322.1-gcc7 for Matthias Klose
Series:
Zesty
Architecture:
i386
Pocket:
Release
Component:
universe