distro: GCC: Upgrade to 4.7.2.

* distro/base.scm (gcc-4.7): Upgrade to 4.7.2.
This commit is contained in:
Ludovic Courtès 2012-09-26 21:48:22 +02:00
parent 82dc2b9af9
commit 8ffae202ac

View file

@ -709,14 +709,14 @@ (define-public gcc-4.7
(let ((stripped? #t)) ; TODO: make this a parameter (let ((stripped? #t)) ; TODO: make this a parameter
(package (package
(name "gcc") (name "gcc")
(version "4.7.1") (version "4.7.2")
(source (origin (source (origin
(method http-fetch) (method http-fetch)
(uri (string-append "http://ftp.gnu.org/gnu/gcc/gcc-" (uri (string-append "http://ftp.gnu.org/gnu/gcc/gcc-"
version "/gcc-" version ".tar.bz2")) version "/gcc-" version ".tar.bz2"))
(sha256 (sha256
(base32 (base32
"0vs0v89zzgkngkw2p8kdynyk7j8ky4wf6zyrg3rsschpl1pky28n")))) "115h03hil99ljig8lkrq4qk426awmzh0g99wrrggxf8g07bq74la"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs `(("gmp" ,gmp) (inputs `(("gmp" ,gmp)
("mpfr" ,mpfr) ("mpfr" ,mpfr)