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

# `make install` installs this to its expected location; `make install-byte`
# additionally installs it here.
usr/lib/coq/kernel/byterun/dllcoqrun.so

usr/lib/coq/revision
