TIMESTAMP = 1472596046
SHA256 (gcc-5.4.0.tar.bz2) = 608df76dec2d34de6558249d8af4cbee21eceddbcb580d666f7a5a583ca3303a
SIZE (gcc-5.4.0.tar.bz2) = 95661481
SHA256 (mpfr-3.1.4.tar.xz) = 761413b16d749c53e2bfd2b1dfaa3b027b0e793e404b90b5fbaeef60af6517f5
SIZE (mpfr-3.1.4.tar.xz) = 1122152
SHA256 (gmp-5.1.3.tar.xz) = dee2eda37f4ff541f30019932db0c37f6f77a30ba3609234933b1818f9b07071
SIZE (gmp-5.1.3.tar.xz) = 1818812
SHA256 (mpc-1.0.3.tar.gz) = 617decc6ea09889fb08ede330917a00b16809b8db88c29c31bfbb49cbf88ecc3
SIZE (mpc-1.0.3.tar.gz) = 669925
