Module: ppl/w3ppl Branch: master Commit: a6a59ee9f6c42d746b557850abca376683e5a90d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a6a59ee9f6c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Nov 26 14:18:57 2009 +0100 Fixed the links to the ArchLinux distribution. --- htdocs/Download/Download.raw | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index a9dda30..17d1351 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -72,7 +72,9 @@ Below is a list of the available PPL binary distributions. <TR VALIGN=TOP ALIGN=CENTER> <TD> - <A HREF="http://aur.archlinux.org/packages.php?ID=20579">ArchLinux</A> + <A HREF="http://www.archlinux.org/packages/core/x86_64/ppl/">ArchLinux x86_64</A> + <BR> + <A HREF="http://www.archlinux.org/packages/core/i686/ppl/">ArchLinux i686</A> </TD> <TD> <A HREF="http://packages.debian.org/source/sid/ppl">sid</A>