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