Liste des fichiers du paquet coqide dans bookworm pour l'architecture arm64

/usr/bin/coqide
/usr/lib/ocaml/coqide/META
/usr/lib/ocaml/coqide/dune-package
/usr/lib/ocaml/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/NEWS.Debian.gz
/usr/share/doc/coqide/README.md.gz
/usr/share/doc/coqide/changelog.Debian.arm64.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