libc.so.6
libgmp.so.10
libhogweed.so.7
libnettle.so.9
