[PPL-devel] [GIT] ppl/w3ppl(master): Links to GMP's home page updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jan 12 07:26:14 2011 +0100

Links to GMP's home page updated.

---

 htdocs/Download/requirements.raw |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/htdocs/Download/requirements.raw b/htdocs/Download/requirements.raw
index 2455ec9..b89e2a4 100644
--- a/htdocs/Download/requirements.raw
+++ b/htdocs/Download/requirements.raw
@@ -41,7 +41,7 @@ in the source distribution for more details on the subject.
 <A NAME="GMP">
 <H3>GMP: the GNU Multiple Precision library</H3>
 
-<A HREF="http://www.swox.com/gmp/">GMP</A> is a free library for
+<A HREF="http://gmplib.org/">GMP</A> is a free library for
 arbitrary precision arithmetic, operating on signed integers, rational
 numbers, and floating point numbers.  There is no limit to the
 precision except that implied by the available memory in the
@@ -69,7 +69,7 @@ Since binary distributions of GMP may contain a version
 of the C++ interface compiled with a C++ compiler
 implementing a different ABI than the compiler you
 will use to compile the PPL, the most reliable way to satisfy the points
-above is to visit the <A HREF="http://www.swox.com/gmp/">GMP web site</A>,
+above is to visit the <A HREF="http://gmplib.org/">GMP web site</A>,
 download the sources of the last available version,
 and then follow the steps detailed in
 <A HREF="@BASE_DIR at Download/ftp/releases/LATEST/README.configure"><CODE>README.configure</CODE></A>