如何修复有关“没有可用的配方”的自制软件错误信息

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。当然，最初的问题仍然存在。

解决这个问题的最佳方法是什么，或者我应该只是与我的强迫症倾向作斗争，然后忽略它？

Answer 1

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

你必须检查一下，这个版本是否可以作为水龙头使用。

谢谢@python