coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Uninstall Coq 8.4

From: <mariana.bernagozzi AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Uninstall Coq 8.4
Date: Wed, 3 Oct 2012 07:04:01 +0200 (CEST)

Hi,

I've installed Coq 8.4 from sources and I would like to uninstall it. I've
already tried (with no luck):

$ sudo make uninstall

and

$ sudo make deinstall

Operating system: Ubuntu 11.10

Is there any other way to uninstall Coq 8.4 than manually removing the files
installed by the app?
Thanks!

Regards,
Mariana

[Coq-Club] Uninstall Coq 8.4, mariana.bernagozzi, 10/03/2012
- Re: [Coq-Club] Uninstall Coq 8.4, Pierre Boutillier, 10/03/2012
  - Re: [Coq-Club] Uninstall Coq 8.4, Mariana Bernagozzi, 10/03/2012
- Re: [Coq-Club] Uninstall Coq 8.4, Hendrik Tews, 10/17/2012