When will be an new version? I want to play the new version. I know in the Paterson is on version 8.0
The current version here is the last public/open version, as explained in the main page and other dev logs.
