File list of package coqide in questing of architecture amd64

/usr/bin/coqide
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/dune-package
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/opam
/usr/share/applications/coqide.desktop
/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/coqide/FAQ
/usr/share/doc/coqide/README.md.gz
/usr/share/doc/coqide/changelog.Debian.gz
/usr/share/doc/coqide/copyright
/usr/share/man/man1/coqide.1.gz
/usr/share/man/man1/coqide.byte.1.gz
/usr/share/man/man1/coqide.opt.1.gz
/usr/share/pixmaps/coqide.xpm