dee2eda37f4ff541f30019932db0c37f6f77a30ba3609234933b1818f9b07071  download/gmp-5.1.3.tar.xz
93cac5a429b488163eed1a5bd49695ae2b3a52fee21bad323045cbd2d89aa010  download/gmp-5.1.3.tar.xz.sig
