SHA256 (sbcl-2.5.2-source.tar.bz2) = XcJ+un3aQz31P9dEHeixFHSoLNrBaJwfbOVfoGXWX6w=
SIZE (sbcl-2.5.2-source.tar.bz2) = 8227645
