../ gmp-devel-32bit-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:21 272K gmp-devel-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:20 601K libgmp10-32bit-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:21 253K libgmp10-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:20 274K libgmpxx4-32bit-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:21 22K libgmpxx4-6.1.2-84.1.x86_64.rpm 21-Oct-2017 12:20 22K