Module: ppl/w3ppl Branch: master Commit: e774024058bd500247cb580548bfc59169bc41b1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e774024058b...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 16:37:31 2009 +0200

Fixed the links to the openSUSE packages.

---

htdocs/Download/Download.raw | 8 +++----- 1 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 738fc70..a9dda30 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -92,13 +92,11 @@ Below is a list of the available PPL binary distributions. <A HREF="http://packages.gentoo.org/package/dev-libs/ppl">Gentoo</A> </TD> <TD> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_10.2/">10.2</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_10.3/">10.3</A> <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_10.3/">10.3</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.0/">11.0</A> <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_11.0/">11.0</A> - <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_11.1/">11.1</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.1/">11.1</A> </TD> <TD> <A HREF="http://packages.ubuntu.com/hu/source/intrepid/ppl">Intrepid</A>