coqide 8.14.0-2 File List

Package has 11 files and 12 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/coqide
  • usr/doc/
  • usr/doc/coqide/
  • usr/doc/coqide/FAQ
  • usr/doc/coqide/LICENSE
  • usr/doc/coqide/README.md
  • usr/doc/coqide/odoc-pages/
  • usr/doc/coqide/odoc-pages/index.mld
  • 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/man/
  • usr/share/man/man1/
  • usr/share/man/man1/coqide.1.gz
  • usr/share/pixmaps/
  • usr/share/pixmaps/coqide.png