1.1 --- a/config/companion_libs/gmp.in Tue Mar 30 22:31:49 2010 +0200
1.2 +++ b/config/companion_libs/gmp.in Wed Jun 09 00:41:25 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