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