ppc64el build of acl2 8.0dfsg-1 in ubuntu cosmic RELEASE
created
Build status
Failed to build on bos02-ppc64el-010
- Started
- Finished (took 2 minutes, 55.8 seconds)
- buildlog (31.2 KiB)