The linux version for Alice 2.3 has been released and is available at http://www.alice.org. I am double-checking on installation instructions, and these will soon be posted as well… All the best, Don Slater