freenode/#sbcl - IRC Chatlog Search Thursday, 12th of July 2018, 4:23:38 UTC 12:49:52 flip214 there's also Debian available now.