ppc64el build of cbmc 5.10-5build1 in ubuntu focal PROPOSED

created on 2020-03-23

Build status

[FAILEDTOBUILD] Failed to build on bos02-ppc64el-028

  • Started on 2020-03-25
  • Finished on 2020-03-25 (took 31 minutes, 47.1 seconds)
  • buildlog (57.2 KiB)

Build details

Source:
cbmc - 5.10-5build1
Archive:
Primary Archive for Ubuntu
Series:
Focal
Architecture:
ppc64el
Pocket:
Proposed
Component:
universe