Module: ppl/w3ppl Branch: master Commit: dd3cf19481ea829a4f628a05aa23ba37659cbdd3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=dd3cf19481e...
Author: Roberto Bagnara bagnara@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@Download/ftp/releases/LATEST/README.configure"><CODE>README.configure</CODE></A>