coqide 8.20.0-1 File List

Package has 16 files and 13 directories.

Back to Package

  • 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