arm64 build of acl2 7.4dfsg-3.1 in ubuntu bionic RELEASE
created
Build status
Failed to build
on bos01-arm64-007
- Started
- Finished (took 14 hours, 29 minutes, 47.6 seconds)
- buildlog (301.9 KiB)