pkg: gmp
file: gmp-5.1.2.tar.xz
md5:
06fe2ca164221c59ce74867155cfc1ac
sha1:
980426a6ef54d4fff2e67ab970a432251ee2c3a1
sha256:
c7d943a6eceb4f0d3d3ab1176aec37853831cdfa281e012f8a344ba3ceefcbc2