ppc64el build of acl2 7.1-1 in ubuntu wily RELEASE
created
Build status
Failed to build on bos01-ppc64el-025
- Started
- Finished (took 2 hours, 33 minutes, 27.6 seconds)
- buildlog (7.3 MiB)