MD5 (sbcl-0.7.11-source.tar.bz2) = 6ebca22b87c5fdfc46382448f62ef770
MD5 (sbcl-0.7.11-html.tar.bz2) = 48a7354ab5ea622519b47d8233350abc