ppc64el build of acl2 7.1-1 in ubuntu xenial RELEASE
created
Build status
Failed to build
on bos01-ppc64el-021
- Started
- Finished (took 2 hours, 24 minutes, 27.3 seconds)
- buildlog (9.9 MiB)