/usr/bin/marble /usr/lib/libmarblewidget.so.0.4.0 /usr/lib/libmarblewidget.so.5 /usr/share/doc/marble/TODO.gz /usr/share/doc/marble/changelog.Debian.gz /usr/share/doc/marble/changelog.gz /usr/share/doc/marble/copyright /usr/share/lintian/overrides/marble /usr/share/man/man1/marble.1.gz /usr/share/menu/marble /usr/share/pixmaps/globe.xpm