ppc64el build of acl2 7.0-1 in ubuntu vivid RELEASE
created
Build status
Failed to build on fisher03 (powerpc)
- Started
- Finished (took 5 hours, 8 minutes, 35.2 seconds)
- buildlog (12.4 MiB)