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