SHA256 (gmp-5.1.3.tar.xz) = dee2eda37f4ff541f30019932db0c37f6f77a30ba3609234933b1818f9b07071
SIZE (gmp-5.1.3.tar.xz) = 1818812