x86_64: libc.so.6 libcddgmp.so.0 libflint.so.19 libgcc_s.so.1 libgmp.so.10 libm.so.6 libmpfr.so.6 libntl.so.44 libreadline.so.8 libstdc++.so.6
