ppc64el build of acl2 8.1dfsg-3 in ubuntu eoan RELEASE
created
Build status
Failed to build
on bos02-ppc64el-014
- Started
- Finished (took 2 minutes, 47.4 seconds)
- buildlog (23.7 KiB)