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

summary refs log tree commit diff

path: root/debian/coqide.install

blob: dd6bf11656c4ace4a0525456120743ad916dfe31 (plain)

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