From 704197f4bf70609ef273bdb73331869142b58aec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 10 Jan 2013 00:10:59 +0100
Subject: [PATCH] distro: gmp: Update to 5.0.1.

* distro/packages/multiprecision.scm (gmp): Update to 5.0.1.
---
 distro/packages/multiprecision.scm | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/distro/packages/multiprecision.scm b/distro/packages/multiprecision.scm
index 40550ee65d..444c6103eb 100644
--- a/distro/packages/multiprecision.scm
+++ b/distro/packages/multiprecision.scm
@@ -1,5 +1,5 @@
 ;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2012 Ludovic Courtès <ludo@gnu.org>
+;;; Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -28,14 +28,18 @@
 (define-public gmp
   (package
    (name "gmp")
-   (version "5.0.5")
+   (version "5.1.0")
    (source (origin
             (method url-fetch)
-            (uri (string-append "mirror://gnu/gmp/gmp-" version
-                                ".tar.bz2"))
+            (uri
+             ;; Note: this version is not available from GNU mirrors
+             ;; because it was made with an Automake affected by
+             ;; CVE-2012-3386.
+             (string-append "ftp://ftp.gmplib.org/pub/gmp-"
+                            version "/gmp-" version ".tar.bz2"))
             (sha256
              (base32
-              "1jfymbr90mpn0zw5sg001llqnvf2462y77vgjknrmfs1rjn8ln0z"))))
+              "15n7xxgasbxdch8ii8z9ic6fxc2ysk3q8iavf55abjp5iylspnfz"))))
    (build-system gnu-build-system)
    (native-inputs `(("m4" ,m4)))
    (arguments `(#:configure-flags