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