distro: gmp: Update to 5.0.1.

* distro/packages/multiprecision.scm (gmp): Update to 5.0.1.
This commit is contained in:
Ludovic Courtès 2013-01-10 00:10:59 +01:00
parent 4873f8ed9f
commit 704197f4bf
1 changed files with 9 additions and 5 deletions

View File

@ -1,5 +1,5 @@
;;; GNU Guix --- Functional package management for GNU ;;; 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. ;;; This file is part of GNU Guix.
;;; ;;;
@ -28,14 +28,18 @@
(define-public gmp (define-public gmp
(package (package
(name "gmp") (name "gmp")
(version "5.0.5") (version "5.1.0")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnu/gmp/gmp-" version (uri
".tar.bz2")) ;; 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 (sha256
(base32 (base32
"1jfymbr90mpn0zw5sg001llqnvf2462y77vgjknrmfs1rjn8ln0z")))) "15n7xxgasbxdch8ii8z9ic6fxc2ysk3q8iavf55abjp5iylspnfz"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs `(("m4" ,m4))) (native-inputs `(("m4" ,m4)))
(arguments `(#:configure-flags (arguments `(#:configure-flags