MD5 (libgmp-2001.08.07.tar.bz2) = 2309c9bb312c68a7aa2a957197104b0b