[PPL-devel] PPL web pages contains invalid links

[Gianluca Amato]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20220628/8887c3ec/attachment.htm>