Hi there!
I tried to clone via the read-only anonymous method and i get the following error:
```
-> % git clone git://git.cs.unipr.it/ppl/ppl.git
Cloning into 'ppl'...
fatal: remote error: access denied or repository not exported: /ppl/ppl.git
```
The http method also gives an error:
```
-> % git -c http.sslVerify=false clone https://git.cs.unipr.it/ppl/ppl.git
Cloning into 'ppl'...
fatal: repository 'https://git.cs.unipr.it/ppl/ppl.git/' not found
```
Trying to get onto the gitweb interface asks for credentials, which i (obviously) don't have and i couldn't find any info about it on the website.
Also rsync doesn't work with:
```
-> % rsync --archive --delete --checksum --compress \
rsync://rsync.cs.unipr.it/ppl-git ./ppl-git
rsync: [Receiver] failed to connect to rsync.cs.unipr.it (160.78.167.140): Connection refused (111)
rsync error: error in socket IO (code 10) at clientserver.c(137) [Receiver=3.2.3]
```
Finally i tried the direct tarball download, which did work YAY!
So my question is: is this intended behaviour or not?
bye,
Malte Frank Gerdes
Hi,
I was trying to download PPL from the web page
https://www.bugseng.com/parma-polyhedra-library, but both the links
"Download area" and "browse the code" are pointing to password protected
pages.
Similarly, the links to the git repository in the page
https://www.bugseng.com/ppl-download/ppl-git seem to be broken. From what I
understand, PPL gitt repository has been moved from git://
git.cs.unipr.it/ppl/ppl.git to git://git.bugseng.com/ppl/ppl.git, but I
think links have not been updated.
Kind regards,
--gianluca
