%FILES%
usr/
usr/bin/
usr/bin/coqide
usr/lib/
usr/lib/coqide/
usr/lib/coqide/META
usr/lib/coqide/dune-package
usr/lib/coqide/opam
usr/share/
usr/share/applications/
usr/share/applications/coqide.desktop
usr/share/coq/
usr/share/coq/coq-ssreflect.lang
usr/share/coq/coq.lang
usr/share/coq/coq.png
usr/share/coq/coq_style.xml
usr/share/coq/default.bindings
usr/share/doc/
usr/share/doc/coqide/
usr/share/doc/coqide/FAQ
usr/share/doc/coqide/LICENSE
usr/share/doc/coqide/README.md
usr/share/doc/coqide/odoc-pages/
usr/share/doc/coqide/odoc-pages/index.mld
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/coqide.1.gz
usr/share/pixmaps/
usr/share/pixmaps/coqide.png
