ld-linux-riscv64-lp64d.so.1
libantlr3c.so
libc.so.6
libcln.so.6
libcvc4.so.7
libcvc4parser.so.7
libgcc_s.so.1
libm.so.6
libstdc++.so.6
