The Coq mailing list

[Matteo Ferrando <matteo.ferrando2 AT gmail.com>]

Hi,

I tried emailing *coqdev-NOSPAM AT inria.fr* about this but that email seems to be dead, apologies if this is not the right place to ask, but there it goes.

I'm running OS X 10.9.5 and installed Coq using homebrew: `brew install coq`. That installed it just fine but the CoqIde wasn't included, I then ran `brew rm coq` to uninstall it, since I want to have the CoqIde. 

So I installed Coq from the binaries at the oficial site[1]. I installed that one with the instructions in the *INSTALL* file, it didn't include the CoqIde either. 

Afterwards I found an alternative[2] for OS X users that worked just fine.

How can I uninstall the Coq version that I installed from the binaries from my system? Since I now have two versions installed.

Thanks,

Matteo Ferrando

[1] https://coq.inria.fr/

[2] https://github.com/mcandre/coqide-mac