MD5 (Math-GMP-1.07.tar.gz) = 385022cd0af5de7d8ea999d3573d997d