arm64 build of acl2 7.2dfsg-2 in ubuntu zesty RELEASE
created
Build status
Failed to build on bos01-arm64-002
- Started
- Finished (took 42 minutes, 18.5 seconds)
- buildlog (35.6 KiB)