diff -r 7995942261f2 -r acee1a44d10d config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Mon May 25 19:46:58 2009 +0000
+++ b/config/companion_libs/gmp.in	Sun Aug 02 23:33:37 2009 +0200
@@ -12,6 +12,14 @@
     bool
     prompt "4.2.4"
 
+config GMP_V_4_3_0
+    bool
+    prompt "4.3.0"
+
+config GMP_V_4_3_1
+    bool
+    prompt "4.3.1"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -20,5 +28,7 @@
     string
     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!