blob: c0189e2d078fac542510642afe6f235edc587f60 (
plain)
1
2
3
4
5
6
7
8
|
usr/bin/coqide*
usr/share/coq/coq.png
usr/share/coq/*.lang
usr/share/coq/*_style.xml
usr/share/doc/coq/FAQ-CoqIde usr/share/doc/coqide
usr/share/man/man1/coqide*
usr/lib/coq/toploop/coqidetop.*
debian/coqide.desktop usr/share/applications
|
