Hi,

I have been using PPL for quite a while now and it's great, thanks for your hard work :) I'm having a problem currently. I want to install PPL on a computer that's behind a proxy, but the command

git clone http://www.cs.unipr.it/git/ppl/ppl.git

that you provide on the website does not work.

Uchuu: git clone http://www.cs.unipr.it/git/ppl/ppl.git Cloning into 'ppl'... fatal: repository 'http://bugseng.com/products/ppl/ppl.git/' not found

I tried with https instead, but then it asks me for a username and a password.

So is there anyway I can clone the repo via http?

Best regards,