arm64 build of acl2 7.1-1 in ubuntu xenial RELEASE
created
Build status
Failed to build on bos01-arm64-018
- Started
- Finished (took 2 hours, 48 minutes, 7.2 seconds)
- buildlog (5.7 MiB)