vasek
интересен этот момент
vs220
Возвращаете новый gmp
От него зависит несколько пакетов.
Для разных версий библиотек лучше их или в саму программу подкладывать или собрать пакет с нужной версией
За образец в данном случае можно взять
https://aur.archlinux.org/packages/gmp4/
поменяв версию