debian/coqide.install


1
2
3
4
5
6

usr/bin/coqide*
usr/share/coq/coq.png
etc/xdg/coq/coqide-gtk2rc
usr/share/doc/coq/FAQ-CoqIde usr/share/doc/coqide
usr/share/man/man1/coqide*
debian/coqide.desktop    usr/share/applications