From 246c17dc9e37cd350a57583015e781336ca4442f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Fri, 18 Dec 2009 17:48:31 +0000
Subject: [PATCH] GNU MPFR 2.4.2.

svn path=/nixpkgs/branches/stdenv-updates/; revision=19042
---
 pkgs/development/libraries/mpfr/default.nix | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/libraries/mpfr/default.nix b/pkgs/development/libraries/mpfr/default.nix
index b428578c5626..dea0113cc69f 100644
--- a/pkgs/development/libraries/mpfr/default.nix
+++ b/pkgs/development/libraries/mpfr/default.nix
@@ -1,14 +1,16 @@
 {stdenv, fetchurl, gmp}:
 
-stdenv.mkDerivation {
-  name = "mpfr-2.4.1";
+stdenv.mkDerivation rec {
+  name = "mpfr-2.4.2";
 
   src = fetchurl {
-    url = http://www.mpfr.org/mpfr-2.4.1/mpfr-2.4.1.tar.bz2;
-    sha256 = "0pj879vbwbik8xkgnxy2ll32ljq3bgqjsqapqasq9rkfbkl90a34";
+    url = "mirror://gnu/mpfr/${name}.tar.bz2";
+    sha256 = "1fpjphja2ridy1wfc53mcbavj4axl28ibvnawj1217flm045mry7";
   };
 
-  buildInputs = [gmp];
+  buildInputs = [ gmp ];
+
+  doCheck = true;
 
   meta = {
     homepage = http://www.mpfr.org/;