Lista plików pakietu coqide z gałęzi wheezy na architekturę i386

/usr/bin/coqide
/usr/bin/coqide.byte
/usr/bin/coqide.opt
/usr/lib/coq/ide/.coqide-gtk2rc
/usr/lib/coq/ide/FAQ
/usr/lib/coq/ide/coq.png
/usr/share/applications/coqide.desktop
/usr/share/doc/coqide/FAQ
/usr/share/doc/coqide/NEWS.Debian.gz
/usr/share/doc/coqide/changelog.Debian.gz
/usr/share/doc/coqide/changelog.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/menu/coqide
/usr/share/pixmaps/coqide.xpm