x86_64: libc.so.0 libgmp.so.10 libmpfr.so.4
