ppc64el build of acl2 8.5dfsg-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos02-ppc64el-019
- Started
- Finished (took 10 hours, 54 minutes, 51.4 seconds)
- buildlog (397.2 KiB)