pkg: gmp
file: gmp-4.2.tar.gz
md5:
7e2bcee8fcf536b98af813f5f18ad912
sha1:
4d193408584c67a98962ff2845e85b6be13b9a14
sha256:
2d03e7681de432dd87e4fc172dab370bd858dc6beed003e0814a50b49851549e