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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 18 14:02:33 2009 +0200

For Fedora 8, we only RPM packages for version 0.10. Added a directory for Fedora 12 packages.

---

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 c82335b..738fc70 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -78,13 +78,15 @@ 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/@PPL_VERSION@/fedora/8/">8</A> + <A HREF="@BASE_DIR@Download/ftp/releases/0.10/fedora/8/">8</A> <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> </TD> <TD> <A HREF="http://packages.gentoo.org/package/dev-libs/ppl">Gentoo</A>