From ee5171027735ef85788848670eb1ccdf3f2f8550 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 6 Jan 2010 18:42:41 +0100
Subject: complibs/mpfr: add latest version 2.4.2

Note: the MPFR site happens to be down at the time I wrote
this message, and happens to be down quite often.

Once it's back up'n'runnin', I'll mirror as much as possible
the MPFR tarballs on my site, but in the meantime, you'll
have to handle it by yourself (patience...).

diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 118e229..8111928 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -6,6 +6,11 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config MPFR_V_2_4_2
+    bool
+    prompt "2.4.2 (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+
 config MPFR_V_2_4_1
     bool
     prompt "2.4.1"
@@ -30,6 +35,7 @@ config MPFR_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "2.4.2" if MPFR_V_2_4_2
     default "2.4.1" if MPFR_V_2_4_1
     default "2.4.0" if MPFR_V_2_4_0
     default "2.3.2" if MPFR_V_2_3_2
-- 
cgit v0.10.2-6-g49f6