usr/bin/coqide*
usr/share/coq/coq.png
usr/share/coq/*.lang
usr/share/coq/*_style.xml
usr/share/doc/coq/FAQ-CoqIde usr/share/doc/coqide
usr/share/man/man1/coqide*
usr/lib/coq/toploop/coqidetop.*
debian/coqide.desktop    usr/share/applications