pkg: gmp
file: gmp-5.0.2.tar.gz
md5:
87e73447afdc2ca5cefd987da865da51
sha1:
acf41d06755e9acb8f1300c6356897315b7180af
sha256:
2f0d4bbbeff0660f42c5caf6464ac0fee526c06f4dfcc82a015081ea7df8b55d