coqide 8.16.1-1 File List

Package has 12 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/lib/ocaml/
  • usr/lib/ocaml/coqide
  • usr/share/
  • usr/share/applications/
  • usr/share/applications/coqide.desktop
  • 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