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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 4 10:27:07 2010 +0200

Updated the part about binary distributions. We no longer distribute binary packages ourselves.

---

htdocs/Download/Download.raw | 20 +++++++++++--------- 1 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 17d1351..51e2051 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -43,7 +43,9 @@ the Parma Polyhedra Library resources (sources, binaries and more). <H3>Binary distributions</H3>

<P> -Below is a list of the available PPL binary distributions. +Below is a partial list of the available PPL binary distributions. +Please <A HREF="mailto:ppl-devel@cs.unipr.it">let us know</A> +the ones we are missing.

<TABLE BORDER=3 CELLSPACING=3 CELLPADDING=3> <TR> @@ -80,15 +82,9 @@ Below is a list of the available PPL binary distributions. <A HREF="http://packages.debian.org/source/sid/ppl">sid</A> </TD> <TD> - <A HREF="@BASE_DIR@Download/ftp/releases/0.10/fedora/8/">8</A> + <A HREF="http://rpm.pbone.net/index.php3?stat=3&limit=1&srodzaj=1&dl=40&search=ppl&dist[]=71&dist[]=69&dist[]=68&dist[]=65&dist[]=64&dist[]=54&field[]=1&field[]=2"><CODE>rpm.pbone.net</CODE> <BR> - <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/9/">9</A> - <BR> - <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/10/">10</A> - <BR> - <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/11/">11</A> - <BR> - <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/fedora/12/">12</A> + <A HREF="https://admin.fedoraproject.org/pkgdb/acls/name/ppl"><CODE>admin.fedoraproject.org</CODE></A> </TD> <TD> <A HREF="http://packages.gentoo.org/package/dev-libs/ppl">Gentoo</A> @@ -99,11 +95,17 @@ Below is a list of the available PPL binary distributions. <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.0/">11.0</A> <BR> <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.1/">11.1</A> + <BR> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.2/">11.2</A> </TD> <TD> <A HREF="http://packages.ubuntu.com/hu/source/intrepid/ppl">Intrepid</A> <BR> <A HREF="http://packages.ubuntu.com/hu/source/jaunty/ppl">Jaunty</A> + <BR> + <A HREF="http://packages.ubuntu.com/hu/source/karmic/ppl">Karmic</A> + <BR> + <A HREF="http://packages.ubuntu.com/hu/source/lucid/ppl">Lucid</A> </TD> <TD> <A HREF="http://pdb.finkproject.org/pdb/package.php/ppl">Fink</A>