# CoqIDE is temporarily disabled.
usr/share/man/man1/coqide.1
usr/lib/coq/toploop/coqidetop.cmxs