rocqide 9.1.0-1 File List

Package has 74 files and 17 directories.

Back to Package

  • 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