armhf build of acl2 7.2dfsg-2 in ubuntu yakkety RELEASE
created
Build status
Cancelled build on kishi03 (highbank)
- Started
- Finished (took 12 days, 23 hours, 14 minutes, 47.0 seconds)
- buildlog (274.7 KiB)