changeset 3115 | 1c68438f44f7 |
parent 2651 | a171c274bc12 |
child 3142 | 6569f6a9060c |
1.1 --- a/config/companion_libs/gmp.in Tue Aug 30 19:38:10 2011 +0200 1.2 +++ b/config/companion_libs/gmp.in Fri Nov 16 14:59:27 2012 +0100 1.3 @@ -8,13 +8,11 @@ 1.4 1.5 config GMP_V_5_0_2 1.6 bool 1.7 - prompt "5.0.2 (EXPERIMENTAL)" 1.8 - depends on EXPERIMENTAL 1.9 + prompt "5.0.2" 1.10 1.11 config GMP_V_5_0_1 1.12 bool 1.13 - prompt "5.0.1 (EXPERIMENTAL)" 1.14 - depends on EXPERIMENTAL 1.15 + prompt "5.0.1" 1.16 1.17 config GMP_V_4_3_2 1.18 bool