DIST gmp-5.0.2.tar.bz2 2024576 RMD160 fce06e3246f067301a54f3457960f1d6d71adfc2 SHA1 2968220e1988eabb61f921d11e5d2db5431e0a35 SHA256 dbc2db76fdd4e99f85d5e35aa378ed62c283e0d586b91bd8703aff75a7804c28
DIST gmp-man-5.0.2.pdf 1024222 RMD160 8b109ab46248d2cc3eaa383a10921558c6eb657f SHA1 bccd7089b9a355c102770ce98534d581af8a1a42 SHA256 fcdd621dea0215b8920bdbfacf374ae8ef4f548a2d0c3e8d65d904f1b9d174d4