usr/bin/coqide*
usr/lib/coq/ide/coq.png
usr/lib/coq/ide/utf8.vo
usr/share/man/man1/coq-interface.1