pkg: gmp
file: gmp-4.2.3.tar.gz
md5:
816eace071a021fbe32a2a560bd6c4eb
sha1:
77b5a6255b8ee24f1593031cf9f2ad4a994e7a99
sha256:
c525bbf2c1bd888b98ce8c0b13e369dd7e3fcacf117ddecf106165ab5433d81d