pkg: gmp
file: gmp-6.1.2.tar.xz
md5:
f58fa8001d60c4c77595fbbb62b63c1d
sha1:
9dc6981197a7d92f339192eea974f5eca48fcffe
sha256:
87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912