当我运行 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，但失败了，因为所需的包 CoinUtils 不可用。此时，我觉得我可能在这个兔子洞里陷得太深了，然后拉了上来，具体来说，我未开发 coin-or-tools/coinor 并重新开发了 dreal/coinor。当然，原来的问题仍然存在。
解决这个问题的最佳方法是什么，还是我应该对抗我的强制症倾向并忽略它？
最佳答案
如果您使用 Homebrew 程序的时间较长且从未删除过旧版本(例如使用 brew cleanup)，则您的程序的某些旧版本可能仍然存在。如果您只想激活以前的版本，brew switch 是最简单的方法。
您必须检查该版本是否可以点击使用。
谢谢@python
关于homebrew - 如何修复有关 "No available formula"的 Homebrew 错误消息，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41989504/