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

summary refs log tree commit diff

path: root/debian/coqide.install

blob: 7a7af82d1100ad6900efa21577250e4038bb395e (plain)

usr/bin/coqide*
usr/lib/coq/ide/coq.png
usr/lib/coq/ide/utf8.vo
usr/share/man/man1/coq-interface.1