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，但由于Required package CoinUtils not available失败了。在这一点上，我觉得我可能已经深入这个兔子洞并且拉起来，特别是，我未开发coin-or-tools/coinor并重新dreal/coinor。当然，最初的问题仍然存在。

解决这个问题的最佳方法是什么，或者我应该只是对抗我的OCD倾向而忽略它？

Answer 1

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

您必须检查是否可以通过点击获得该版本。

感谢@python

如何修复自制的错误消息＆＃34;没有可用的公式＆＃34;

1 个答案: