../ gmp-devel-64bit-5.1.3-6.3.1.aarch64_ilp32.rpm 02-Jun-2017 05:17 247139 libgmp10-64bit-5.1.3-6.3.1.aarch64_ilp32.rpm 02-Jun-2017 05:17 216841 libgmpxx4-64bit-5.1.3-6.3.1.aarch64_ilp32.rpm 02-Jun-2017 05:17 18285