MD5 (sbcl-0.9.13-source.tar.bz2) = 1423210cc88b6c373f1db3dccc76acf6
SHA256 (sbcl-0.9.13-source.tar.bz2) = 624dd895fabf8e34bd2418293bc43bab85688e93433ceb60f91d86123b2ef6e9
SIZE (sbcl-0.9.13-source.tar.bz2) = 2743731
MD5 (sbcl-0.9.13-html.tar.bz2) = 1ba204bd168aab1ef218c4618602a994
SHA256 (sbcl-0.9.13-html.tar.bz2) = 25a1584e30d6086cb1333f1e02a9417b0036e12da08b0daa26fcc0920620835e
SIZE (sbcl-0.9.13-html.tar.bz2) = 123402
MD5 (sbcl-0.9.11-x86-freebsd-binary.tar.bz2) = 61581be9c165e339057e10693b773deb
SHA256 (sbcl-0.9.11-x86-freebsd-binary.tar.bz2) = 38fe44021344726049e7356502cf9e2545bd2e48902b687c817ade70eafb74c1
SIZE (sbcl-0.9.11-x86-freebsd-binary.tar.bz2) = 7470214