ppc64el build of acl2 8.0dfsg-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on bos02-ppc64el-014
- Started
- Finished (took 3 minutes, 50.2 seconds)
- buildlog (24.4 KiB)