http://www.sbcl.org is having DNS issues. In the meanwhile the site can also be accessed as http://sbcl.sourceforge.net/ Cheers, -- Nikodemus