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

summary refs log tree commit diff

path: root/debian/coqide.install

blob: 7df7558112e7c7ac46c5b92bcf6d69d650596a53 (plain)

usr/bin/coqide*
usr/lib/coq/ide/coq.ico
usr/lib/coq/ide/coq2.ico
usr/lib/coq/ide/utf8.vo
usr/lib/coq/ide/.coqide-gtk2rc