../ libgmp10-x86-6.1.2-84.1.ia64.rpm 21-Oct-2017 12:21 253K libgmpxx4-x86-6.1.2-84.1.ia64.rpm 21-Oct-2017 12:21 22K