ppc64el build of acl2 8.0dfsg-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on bos02-ppc64el-003
- Started
- Finished (took 5 hours, 30 minutes, 40.3 seconds)
- buildlog (264.8 KiB)