Liste des fichiers du paquet coqide dans hardy pour l'architecture i386

/usr/bin/coqide
/usr/bin/coqide.byte
/usr/bin/coqide.opt
/usr/lib/coq/ide/.coqide-gtk2rc
/usr/lib/coq/ide/coq.png
/usr/lib/coq/ide/index_urls.txt
/usr/lib/coq/ide/utf8.vo
/usr/share/applications/coqide.desktop
/usr/share/doc/coqide/FAQ
/usr/share/doc/coqide/changelog.Debian.gz
/usr/share/doc/coqide/changelog.gz
/usr/share/doc/coqide/copyright
/usr/share/doc/coqide/utf8.v
/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