Hello everyone, just wondering if anyone would know the package name of the .deb codec for the movie player that comes with Ubuntu, (not sure what it is called) I'm unable to use apt-get because this computer that has ubuntu installed does not have the internet