[PPL-devel] [GIT] ppl/w3ppl(master): Added links to the lzma tar archive.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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 at Download/ftp/releases/@PPL_VERSION@/ppl- at 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>