Ubuntu
cbmc package

s390x build of cbmc 5.5-1 in ubuntu zesty PROPOSED

  1. 5.5-1
  2. s390x build
created

Build status

[FAILEDTOBUILD] Failed to build on z13-015

  • Started
  • Finished (took 17 minutes, 23.8 seconds)
  • buildlog (31.1 KiB)

Build details

Source:
cbmc - 5.5-1
Archive:
Primary Archive for Ubuntu
Series:
Zesty
Architecture:
s390x
Pocket:
Proposed
Component:
universe