riscv64 build of acl2 8.4dfsg-2 in ubuntu kinetic RELEASE
created
Build status
Failed to build on riscv64-qemu-lgw01-078
- Started
- Finished (took 4 days, 13 hours, 40 minutes, 44.2 seconds)