amd64 build of acl2 6.0-2 in ubuntu saucy RELEASE
created
Build status
Failed to build on komainu (i386/amd64)
- Started
- Finished (took 2 hours, 23 minutes, 16.7 seconds)
- buildlog (238.0 KiB)