diff -r acee1a44d10d -r d4ddf19a1968 config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Sun Aug 02 23:33:37 2009 +0200
+++ b/config/companion_libs/gmp.in	Sun Sep 13 17:51:33 2009 +0200
@@ -4,21 +4,21 @@
     bool
     prompt "GMP version"
 
-config GMP_V_4_2_2
+config GMP_V_4_3_1
     bool
-    prompt "4.2.2"
+    prompt "4.3.1"
+
+config GMP_V_4_3_0
+    bool
+    prompt "4.3.0"
 
 config GMP_V_4_2_4
     bool
     prompt "4.2.4"
 
-config GMP_V_4_3_0
+config GMP_V_4_2_2
     bool
-    prompt "4.3.0"
-
-config GMP_V_4_3_1
-    bool
-    prompt "4.3.1"
+    prompt "4.2.2"
 
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
@@ -26,9 +26,9 @@
 
 config GMP_VERSION
     string
+    default "4.3.1" if GMP_V_4_3_1
+    default "4.3.0" if GMP_V_4_3_0
+    default "4.2.4" if GMP_V_4_2_4
     default "4.2.2" if GMP_V_4_2_2
-    default "4.2.4" if GMP_V_4_2_4
-    default "4.3.0" if GMP_V_4_3_0
-    default "4.3.1" if GMP_V_4_3_1
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!