TIMESTAMP = 1513699842
SHA256 (Math-GMP-2.16.tar.gz) = 0ecfc9d2e00a1f6d9ce477d264118a43d0db905ea4141af527c16939f99328db
SIZE (Math-GMP-2.16.tar.gz) = 33290