SHA256 (sbcl-2.5.7-source.tar.bz2) = xPr+t5VpnVvP+QhQkazHYtz15V+FI1Yl89eu8SyJ0dM=
SIZE (sbcl-2.5.7-source.tar.bz2) = 8276880
