arm64 build of acl2 7.1-1 in ubuntu wily RELEASE
created
Build status
Failed to build on bos01-arm64-003
- Started
- Finished (took 3 hours, 26 minutes, 7.0 seconds)
- buildlog (4.5 MiB)