From 968612b76a157a5270f7b959a09d6e2268f04c4c Mon Sep 17 00:00:00 2001
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Date: Sat, 30 May 2020 15:56:40 +0200
Subject: [PATCH] gnu: mpfi: Update home page.

* gnu/packages/multiprecision.scm (mpfi): Use more specific home page.
---
 gnu/packages/multiprecision.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm
index a14b69e9e6..b3a5ec5894 100644
--- a/gnu/packages/multiprecision.scm
+++ b/gnu/packages/multiprecision.scm
@@ -177,7 +177,7 @@ (define-public mpfi
     (propagated-inputs
      `(("gmp" ,gmp)                     ; <mpfi.h> refers to both
        ("mpfr" ,mpfr)))
-    (home-page "https://perso.ens-lyon.fr/nathalie.revol/software.html")
+    (home-page "https://gforge.inria.fr/projects/mpfi/")
     (synopsis "C library for arbitrary-precision interval arithmetic")
     (description
      "@acronym{MPFI, Multiple Precision Floating-point Interval} is a portable C