%FILES%
usr/
usr/bin/
usr/bin/coqidetop
usr/bin/rocqide
usr/lib/
usr/lib/coqide-server/
usr/lib/coqide-server/META
usr/lib/coqide-server/core/
usr/lib/coqide-server/core/core.a
usr/lib/coqide-server/core/core.cma
usr/lib/coqide-server/core/core.cmxa
usr/lib/coqide-server/core/core.cmxs
usr/lib/coqide-server/core/document.cmi
usr/lib/coqide-server/core/document.cmt
usr/lib/coqide-server/core/document.cmti
usr/lib/coqide-server/core/document.cmx
usr/lib/coqide-server/core/document.ml
usr/lib/coqide-server/core/document.mli
usr/lib/coqide-server/dune-package
usr/lib/coqide-server/opam
usr/lib/coqide-server/protocol/
usr/lib/coqide-server/protocol/interface.cmi
usr/lib/coqide-server/protocol/interface.cmti
usr/lib/coqide-server/protocol/interface.mli
usr/lib/coqide-server/protocol/protocol.a
usr/lib/coqide-server/protocol/protocol.cma
usr/lib/coqide-server/protocol/protocol.cmxa
usr/lib/coqide-server/protocol/protocol.cmxs
usr/lib/coqide-server/protocol/richpp.cmi
usr/lib/coqide-server/protocol/richpp.cmt
usr/lib/coqide-server/protocol/richpp.cmti
usr/lib/coqide-server/protocol/richpp.cmx
usr/lib/coqide-server/protocol/richpp.ml
usr/lib/coqide-server/protocol/richpp.mli
usr/lib/coqide-server/protocol/serialize.cmi
usr/lib/coqide-server/protocol/serialize.cmt
usr/lib/coqide-server/protocol/serialize.cmti
usr/lib/coqide-server/protocol/serialize.cmx
usr/lib/coqide-server/protocol/serialize.ml
usr/lib/coqide-server/protocol/serialize.mli
usr/lib/coqide-server/protocol/xml_lexer.cmi
usr/lib/coqide-server/protocol/xml_lexer.cmt
usr/lib/coqide-server/protocol/xml_lexer.cmti
usr/lib/coqide-server/protocol/xml_lexer.cmx
usr/lib/coqide-server/protocol/xml_lexer.ml
usr/lib/coqide-server/protocol/xml_lexer.mli
usr/lib/coqide-server/protocol/xml_parser.cmi
usr/lib/coqide-server/protocol/xml_parser.cmt
usr/lib/coqide-server/protocol/xml_parser.cmti
usr/lib/coqide-server/protocol/xml_parser.cmx
usr/lib/coqide-server/protocol/xml_parser.ml
usr/lib/coqide-server/protocol/xml_parser.mli
usr/lib/coqide-server/protocol/xml_printer.cmi
usr/lib/coqide-server/protocol/xml_printer.cmt
usr/lib/coqide-server/protocol/xml_printer.cmti
usr/lib/coqide-server/protocol/xml_printer.cmx
usr/lib/coqide-server/protocol/xml_printer.ml
usr/lib/coqide-server/protocol/xml_printer.mli
usr/lib/coqide-server/protocol/xmlprotocol.cmi
usr/lib/coqide-server/protocol/xmlprotocol.cmt
usr/lib/coqide-server/protocol/xmlprotocol.cmti
usr/lib/coqide-server/protocol/xmlprotocol.cmx
usr/lib/coqide-server/protocol/xmlprotocol.ml
usr/lib/coqide-server/protocol/xmlprotocol.mli
usr/lib/rocqide/
usr/lib/rocqide/META
usr/lib/rocqide/dune-package
usr/lib/rocqide/opam
usr/share/
usr/share/applications/
usr/share/applications/rocqide.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-server/
usr/share/doc/coqide-server/LICENSE
usr/share/doc/coqide-server/README.md
usr/share/doc/rocqide/
usr/share/doc/rocqide/LICENSE
usr/share/doc/rocqide/README.md
usr/share/doc/rocqide/odoc-pages/
usr/share/doc/rocqide/odoc-pages/index.mld
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/rocqide.1.gz
usr/share/pixmaps/
usr/share/pixmaps/rocqide.png
