Lista plików pakietu coqide z gałęzi bullseye na architekturę mips64el

/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-CoqIde
/usr/share/doc/coqide/NEWS.Debian.gz
/usr/share/doc/coqide/changelog.Debian.gz
/usr/share/doc/coqide/changelog.Debian.mips64el.gz
/usr/share/doc/coqide/copyright
/usr/share/man/man1/coqide.1.gz
/usr/share/man/man1/coqide.byte.1.gz
/usr/share/pixmaps/coqide.xpm