# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@free.fr>
# Date 1366979434 -7200
# Node ID c924611670499ca00679ffadcd55e24d6d5d7134
# Parent  ec3c3aa99c798006c131cc912d5e59850282a418
complibs/mpfr: bump version

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

diff -r ec3c3aa99c79 -r c92461167049 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Fri Apr 26 14:30:05 2013 +0200
+++ b/config/companion_libs/mpfr.in	Fri Apr 26 14:30:34 2013 +0200
@@ -6,6 +6,10 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config MPFR_V_3_1_2
+    bool
+    prompt "3.1.2"
+
 config MPFR_V_3_1_0
     bool
     prompt "3.1.0"
@@ -36,6 +40,7 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "3.1.2" if MPFR_V_3_1_2
     default "3.1.0" if MPFR_V_3_1_0
     default "3.0.1" if MPFR_V_3_0_1
     default "3.0.0" if MPFR_V_3_0_0