/usr/bin/dino /usr/share/applications/dino.desktop /usr/share/dino /usr/share/dino/dino.glade /usr/share/dino/head.png /usr/share/dino/midisaurus.png /usr/share/doc/dino /usr/share/doc/dino/AUTHORS /usr/share/doc/dino/ChangeLog /usr/share/doc/dino/NEWS /usr/share/doc/dino/README /usr/share/doc/dino/TODO /usr/share/icons/dino.png /usr/share/icons/large/dino.png /usr/share/icons/mini/dino.png