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