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