powerpc build of z3 4.4.0-5 in ubuntu xenial RELEASE
created
Build status
Failed to build
on denneed02 (powerpc)
- Started
- Finished (took 9 minutes, 2.1 seconds)
- buildlog (43.6 KiB)