Ubuntu
z3 package

s390x build of z3 4.8.7-2build1 in ubuntu focal PROPOSED

  1. 4.8.7-2build1
  2. s390x build
created

Build status

[FAILEDTOBUILD] Failed to build on bos02-s390x-010

  • Started
  • Finished (took 8 minutes, 8.3 seconds)
  • buildlog (31.3 KiB)

Build details

Source:
z3 - 4.8.7-2build1
Archive:
Primary Archive for Ubuntu
Series:
Focal
Architecture:
s390x
Pocket:
Proposed
Component:
universe