The Coq mailing list

[Hendrik Tews <tews AT os.inf.tu-dresden.de>]

<mariana.bernagozzi AT gmail.com>
 writes:

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

I can't help you with removing those files, but for the next time
I recommend to install in /usr/local/stow/coq-8.4 and to use stow
(http://www.gnu.org/software/stow/, also available as Ubuntu
package) to manage symbolic links from /usr/local/{bin,man} into
/usr/local/stow/...

Bye,

Hendrik