28 Jun
2022
28 Jun
'22
12:30 p.m.
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