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/mpfr.in | |
parent | dedee847056ea71cee17b683ef379f00a6debab1 (diff) | |
parent | 8f267b77ae8590374c8f832d6885636b712d9a66 (diff) |
Merge pull request #551 from stilor/obsolete-versions
Obsolete versions
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r-- | config/companion_libs/mpfr.in | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 5957e23..ce33b3d 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -12,35 +12,43 @@ config MPFR_V_3_1_5 config MPFR_V_3_1_3 bool - prompt "3.1.3" + prompt "3.1.3 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_3_1_2 bool - prompt "3.1.2" + prompt "3.1.2 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_3_1_0 bool - prompt "3.1.0" + prompt "3.1.0 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_3_0_1 bool - prompt "3.0.1" + prompt "3.0.1 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_3_0_0 bool - prompt "3.0.0" + prompt "3.0.0 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_4_2 bool - prompt "2.4.2" + prompt "2.4.2 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_4_1 bool - prompt "2.4.1" + prompt "2.4.1 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_4_0 bool - prompt "2.4.0" + prompt "2.4.0 (OBSOLETE)" + depends on OBSOLETE endchoice |