MD5 (sbcl-0.8.5-source.tar.bz2) = 423d0c859f3f9b843d4218915b7a2315
MD5 (sbcl-0.8.5-html.tar.bz2) = 36ebf0e8bd925ea657922f426a0eac11