libc.so.6
libgmp.so.10
libhogweed.so.6
libnettle.so.8
