diff -r 6569f6a9060c -r 9321d9d7af9b config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Wed Dec 26 11:53:05 2012 +0100
+++ b/config/companion_libs/mpfr.in	Thu Feb 20 18:23:08 2014 +0000
@@ -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