usr/lib/coq/ide
usr/share/doc/coqide
usr/share/applications
usr/share/man/man1