[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.git>Cloning into 'ppl'...fatal: remote error: access denied or repository not exported: /ppl/ppl.git* Zhoulai