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

summary refs log tree commit diff

path: root/debian/coqide.dirs

blob: bf32ae9cb26ada63e8fffe14538ffe1218530e21 (plain)

usr/lib/coq/ide
usr/share/doc/coqide
usr/share/applications
usr/share/man/man1
usr/share/pixmaps