arm64 build of acl2 7.1-1 in ubuntu xenial RELEASE
created
Build status
Failed to build on bos01-arm64-012
- Started
- Finished (took 3 hours, 51 minutes, 52.7 seconds)
- buildlog (7.2 MiB)