pkg: gmp
file: gmp-4.1.3.tar.gz
md5:
bdbb9136fa22a0ccf028d0f87aae1dd2
sha1:
8ddf78393f8e8155757f2cdb4883bb28826cdd59
sha256:
8efe2c3ff109f4e4dd76e9d206ffce368f56acc2563f4ad007b00537ec2e1d5a