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