From f9a787bef9a8478ca50e4ee32e2f4e9afafee063 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@free.fr>
Date: Fri, 26 Apr 2013 14:30:34 +0200
Subject: complibs/mpfr: bump version

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

diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index 1b8eddf..d77cd0a 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -6,6 +6,10 @@ choice
 # 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 @@ config MPFR_VERSION
     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
-- 
cgit v0.10.2-6-g49f6