pkg: gmp
file: gmp-5.0.1.tar.bz2
md5:
6bac6df75c192a13419dfd71d19240a7
sha1:
6340edc7ceb95f9015a758c7c0d196eb0f441d49
sha256:
a2a610f01fd3298dc08c87bf30498c2402590e1bcb227fc40b15ee6d280939fb