x86_64: libc.so.6 libflint.so.23 libgcc_s.so.1 libgmp.so.10 libgomp.so.1 libm.so.6 libmpc.so.3 libmpfr.so.6 libstdc++.so.6
