diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-01-26 21:34:19 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-01-26 21:34:19 (GMT) |
| commit | a36a5893b21aac8c129795be22f5ddf5d1b379ed (patch) | |
| tree | 9361e2dfa910cd0e7b75b034eb7124227ae80c21 /config/companion_libs/gmp.in | |
| parent | dedee847056ea71cee17b683ef379f00a6debab1 (diff) | |
| parent | 8f267b77ae8590374c8f832d6885636b712d9a66 (diff) | |
Merge pull request #551 from stilor/obsolete-versions
Obsolete versions
Diffstat (limited to 'config/companion_libs/gmp.in')
| -rw-r--r-- | config/companion_libs/gmp.in | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index b92050d..167c772 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -13,44 +13,53 @@ config GMP_V_6_1_2 config GMP_V_6_1_0 bool - prompt "6.1.0" + prompt "6.1.0 (OBSOLETE)" select GMP_5_0_2_or_later + depends on OBSOLETE config GMP_V_6_0_0 bool - prompt "6.0.0a" + prompt "6.0.0a (OBSOLETE)" select GMP_5_0_2_or_later + depends on OBSOLETE config GMP_V_5_1_3 bool - prompt "5.1.3" + prompt "5.1.3 (OBSOLETE)" select GMP_5_0_2_or_later + depends on OBSOLETE config GMP_V_5_1_1 bool - prompt "5.1.1" + prompt "5.1.1 (OBSOLETE)" select GMP_5_0_2_or_later + depends on OBSOLETE config GMP_V_5_0_2 bool - prompt "5.0.2" + prompt "5.0.2 (OBSOLETE)" select GMP_5_0_2_or_later + depends on OBSOLETE config GMP_V_5_0_1 bool - prompt "5.0.1" + prompt "5.0.1 (OBSOLETE)" + depends on OBSOLETE config GMP_V_4_3_2 bool - prompt "4.3.2" + prompt "4.3.2 (OBSOLETE)" + depends on OBSOLETE config GMP_V_4_3_1 bool - prompt "4.3.1" + prompt "4.3.1 (OBSOLETE)" + depends on OBSOLETE config GMP_V_4_3_0 bool - prompt "4.3.0" + prompt "4.3.0 (OBSOLETE)" + depends on OBSOLETE endchoice |