arm64 build of acl2 8.5dfsg-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos02-arm64-036
- Started
- Finished (took 12 hours, 38 minutes, 22.6 seconds)
- buildlog (404.0 KiB)