coqide.install « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/coqide.install

blob: 52eec4dbfba5d565e8857e2dddcf7e22ce6e29d8 (plain)

usr/bin/coqide*
usr/lib/coq/ide/coq.png
usr/lib/coq/ide/.coqide-gtk2rc
usr/lib/coq/ide/FAQ
usr/share/man/man1/coqide*