Claim: Portal 2 was released for Linux.
Evidence: It is the sequel to Portal -LRB- 2007 -RRB- and was released on April 19 , 2011 , for Microsoft Windows , OS X , Linux , PlayStation 3 , and Xbox 360.