MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863