c7d943a6eceb4f0d3d3ab1176aec37853831cdfa281e012f8a344ba3ceefcbc2  download/gmp-5.1.2.tar.xz
ee7b0f56a8bf194a8e449530e6ff648f2e4c9315c2bd2208938105539a29d642  download/gmp-5.1.2.tar.xz.sig
