amd64 build of acl2 8.5dfsg-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on lcy02-amd64-054
- Started
- Finished (took 8 hours, 32 minutes, 14.0 seconds)
- buildlog (410.2 KiB)