On 6/28/22 14:30, Gianluca Amato wrote:
Hi, I was trying to download PPL from the web page https://www.bugseng.com/parma-polyhedra-library 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 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 http://git.cs.unipr.it/ppl/ppl.git to git://git.bugseng.com/ppl/ppl.git http://git.bugseng.com/ppl/ppl.git, but I think links have not been updated.
Kind regards, --gianluca
Hi Gianluca,
Thanks for letting us know: for some reason old version of the PPL web pages were online on our web site. Please try again and report back. Best regards,
Lavinia
Lavinia Battaglia
Duly Authorised Representative, BUGSENG (http://bugseng.com) Email: lavinia.battaglia@bugseng.com