1.1 --- a/config/companion_libs/gmp.in Wed Apr 07 09:26:12 2010 +0200 1.2 +++ b/config/companion_libs/gmp.in Tue Apr 13 23:26:12 2010 +0200 1.3 @@ -9,6 +9,7 @@ 1.4 config GMP_V_5_0_1 1.5 bool 1.6 prompt "5.0.1" 1.7 + depends on EXPERIMENTAL 1.8 1.9 config GMP_V_4_3_2 1.10 bool