2f0d4bbbeff0660f42c5caf6464ac0fee526c06f4dfcc82a015081ea7df8b55d  download/gmp-5.0.2.tar.gz
129b2c2aea8678e35632e58fb3c5590f6bb8b674a88baeafae663741ed1a32b3  download/gmp-5.0.2.tar.gz.sig
