如何修复有关“无可用公式”的自制错误消息答案

【问题标题】：How do I fix homebrew error message about "No available formula"如何修复有关“无可用公式”的自制错误消息
【发布时间】：2017-02-01 20:50:07
【问题描述】：

当我运行brew doctor 时，我得到以下结果：

Error: No available formula with the name "coin-or-tools/coinor/clp" 
Please tap it and then try again: brew tap coin-or-tools/coinor

我从来没有故意安装clp，虽然这个消息是在我安装why3之后开始出现的，后来我删除了它（因为我打算改用the approach suggested by Laboratoire de Recherche en Informatique）。

作为一个实验，我决定继续点击那个小桶，但我得到了以下结果：

▶ brew doctor
Error: Formulae found in multiple taps: 
 * coin-or-tools/coinor/coin_data_sample
 * dreal/coinor/coin_data_sample

然后我尝试解除dreal/coinor 并安装clp，但由于Required package CoinUtils not available 而失败。在这一点上，我觉得我可能在这个兔子洞里走得太深了，然后拉起来，具体来说，我取消了coin-or-tools/coinor并重新点击了dreal/coinor。自然，原来的问题依然存在。

解决此问题的最佳方法是什么，还是我应该与我的强迫症倾向作斗争并忽略它？

【问题讨论】：

您第一次从哪里以及如何安装Why3？
...你的 macOS/OS X 版本是什么？
我首先通过自制软件安装了 why3，但后来根据 Laboratoire de Recherche en Informatique 建议的方法通过 opam 安装。我的 macOS 是 Sierra，10.12.3 (16D32)
brew install why3 给了我No formulae found in taps。您是从哪个水龙头安装的？
我使用了mht208/formal点击（mht208/formal/why3）。

标签： homebrew

【解决方案1】：

如果您使用自制软件的时间较长并且从未删除过旧版本（例如使用brew cleanup），那么您的程序的某些旧版本可能仍然存在。如果您只想激活之前的版本，brew switch 是最简单的方法。

您必须检查该版本是否可以点击。

感谢@python

【讨论】：

过度宣传特定产品/资源可能会被社区视为垃圾邮件。看看help center，特别是What kind of behavior is expected of users? 的最后一部分：避免公开的自我推销。您可能还对How to not be a spammer 和How do I advertise on Stack Overflow? 感兴趣。
自今年 1 月发布 Homebrew 1.9 以来，升级公式时会删除旧版本。