Module: ppl/w3ppl Branch: master Commit: 1eb7c18a57cd3cdd6cb1914dd78822290a02ba65 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1eb7c18a57c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Apr 8 08:47:21 2009 +0200 Added a link to the Fink distribution. --- htdocs/Download/Download.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 0b4fa1f..c82335b 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -65,6 +65,9 @@ Below is a list of the available PPL binary distributions. <TD> <STRONG>Ubuntu</STRONG> </TD> + <TD> + <STRONG>Fink</STRONG> + </TD> </TR> <TR VALIGN=TOP ALIGN=CENTER> @@ -100,6 +103,9 @@ Below is a list of the available PPL binary distributions. <BR> <A HREF="http://packages.ubuntu.com/hu/source/jaunty/ppl">Jaunty</A> </TD> + <TD> + <A HREF="http://pdb.finkproject.org/pdb/package.php/ppl">Fink</A> + </TD> </TR> </TABLE>