ppc64el build of acl2 7.1-1 in ubuntu xenial RELEASE
created
Build status
Failed to build on bos01-ppc64el-018
- Started
- Finished (took 1 hour, 53 minutes, 54.3 seconds)
- buildlog (8.8 MiB)