summaryrefslogtreecommitdiff
path: root/debian/coqide.install
blob: 7bc6f33caee5e4c1219e6569ac79a5d04411163c (plain)
1
2
usr/bin/coqide*
usr/lib/coq/ide