[PPL-devel] Is ppl.git accessible as of today?

*% git clone git://git.cs.unipr.it/ppl/ppl.git http://git.cs.unipr.it/ppl/ppl.gitCloning into 'ppl'...fatal: remote error: access denied or repository not exported: /ppl/ppl.git*

Zhoulai