Пакеты для разработки включают файлы заголовков, необходимые при сборке другого программного обеспечения, а не пакеты с исходным кодом. В этом случае требуется пакет libgmp-devel
.
Публикация комментария Дона в качестве потенциального ответа:
Используется unar
(из unarchiver
) с версии 3.6