riscv_ilp32d: libc.so.6 libgmp.so.10
