TIMESTAMP = 1576890855
SHA256 (gcc-6.5.0.tar.xz) = 7ef1796ce497e89479183702635b14bb7a46b53249209a5e0f999bebf4740945
SIZE (gcc-6.5.0.tar.xz) = 74355588
SHA256 (mpfr-3.1.6.tar.xz) = 7a62ac1a04408614fccdc506e4844b10cf0ad2c2b1677097f8f35d3a1344a950
SIZE (mpfr-3.1.6.tar.xz) = 1133672
SHA256 (gmp-6.1.2.tar.xz) = 87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912
SIZE (gmp-6.1.2.tar.xz) = 1946336
SHA256 (mpc-1.0.3.tar.gz) = 617decc6ea09889fb08ede330917a00b16809b8db88c29c31bfbb49cbf88ecc3
SIZE (mpc-1.0.3.tar.gz) = 669925