usr/bin/coqide*
usr/lib/coq/ide