TIMESTAMP = 1481022994
SHA256 (Rmpfr_0.6-1.tar.gz) = bf50991055e9336cd6a110d711ae8a91a0551b96f9eaab5fef8c05f578006e1c
SIZE (Rmpfr_0.6-1.tar.gz) = 595963