pkg: gmp
file: gmp-5.1.3.tar.xz
md5:
e5fe367801ff067b923d1e6a126448aa
sha1:
12cfe0911d64fcbd85835df9ddc18c99af8f9a45
sha256:
dee2eda37f4ff541f30019932db0c37f6f77a30ba3609234933b1818f9b07071