It looks like there is no update since 2 months here, but several on the SVN.
Is this repo still alive ?
Sorry, the mirroring script stopped running. I'm in the process of fixing this.
Mirroring has been restored and is now monitored by our CI server. Thanks.
Thanks you very much !