libc.so.6
libm4ri-0.0.20200125.so
