powerpc build of z3 4.4.0-5 in ubuntu xenial RELEASE
created
Build status
Failed to build on fisher04 (powerpc)
- Started
- Finished (took 6 minutes, 48.9 seconds)
- buildlog (40.1 KiB)