/usr/games/supertux /usr/share/applications/supertux.desktop /usr/share/doc/supertux/AUTHORS /usr/share/doc/supertux/LEVELDESIGN.gz /usr/share/doc/supertux/NEWS.gz /usr/share/doc/supertux/README.gz /usr/share/doc/supertux/TODO /usr/share/doc/supertux/changelog.Debian.gz /usr/share/doc/supertux/changelog.gz /usr/share/doc/supertux/copyright /usr/share/man/man6/supertux.6.gz /usr/share/menu/supertux