homebrew - 如何修复有关 "No available formula"的 Homebrew 错误消息

Question

当我运行 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。当然，原来的问题仍然存在。

解决这个问题的最佳方法是什么，还是我应该对抗我的强制症倾向并忽略它？

Answer 1

如果您使用 Homebrew 程序的时间较长且从未删除过旧版本(例如使用 brew cleanup)，则您的程序的某些旧版本可能仍然存在。如果您只想激活以前的版本，brew switch 是最简单的方法。

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

谢谢@python