<div dir="ltr"><div>Hi,</div><div>I was trying to download PPL from the web page <a href="https://www.bugseng.com/parma-polyhedra-library">https://www.bugseng.com/parma-polyhedra-library</a>, but both the links "Download area" and "browse the code" are pointing to password protected pages. <br></div><div><br></div><div>Similarly, the links to the git repository in the page <a href="https://www.bugseng.com/ppl-download/ppl-git">https://www.bugseng.com/ppl-download/ppl-git</a> seem to be broken. >From what I understand, PPL gitt repository has been moved from git://<a href="http://git.cs.unipr.it/ppl/ppl.git">git.cs.unipr.it/ppl/ppl.git</a> to git://<a href="http://git.bugseng.com/ppl/ppl.git" rel="noreferrer" target="_blank">git.bugseng.com/ppl/ppl.git</a>, but I think links have not been updated.</div><div><br></div><div>Kind regards,</div><div>--gianluca</div><div><br></div></div>