86ee6e54ebfc4a90b643a65e402c4048  gmp-6.1.0.tar.bz2
b8a2f6b0e68bef46e53da2ac439e1cf4  mpfr-3.1.4.tar.bz2
d6a1d5f8ddea3abd2cc3e98f58352d26  mpc-1.0.3.tar.gz
ac1f25a0677912952718a51f5bc20f32  isl-0.16.1.tar.bz2