Module: ppl/w3ppl Branch: master Commit: a481c71d9ec8ed0294f48047d6d01217faa09646 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a481c71d9ec...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 27 14:12:14 2011 +0100
Added links to the lzma tar archive.
---
htdocs/Download/Download.raw | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 51e2051..e9b05f5 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -158,6 +158,16 @@ PPL source distributions can be downloaded via </TR>
<TR> + <TD ALIGN=LEFT>lzma tar archive</TD> + <TD ALIGN=CENTER> + <A HREF="ftp://ftp.cs.unipr.it/pub/ppl/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.tar.lzma">ftp</A> + </TD> + <TD ALIGN=CENTER> + <A HREF="@BASE_DIR@Download/ftp/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.tar.lzma">http</A> + </TD> +</TR> + +<TR> <TD ALIGN=LEFT>ZIP archive</TD> <TD ALIGN=CENTER> <A HREF="ftp://ftp.cs.unipr.it/pub/ppl/releases/@PPL_VERSION@/ppl-@PPL_VERSION@.zip">ftp</A>