armhf build of acl2 8.5dfsg-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos01-arm64-007
- Started
- Finished (took 13 hours, 12 minutes, 31.5 seconds)
- buildlog (408.8 KiB)