VLC is included in Raspbian. However it's not very useful as it doesn't include the libdvdcss code, you have to download that separately. Nor does it offer GPU-accelerated MPEG-2 decoding. In theory, VLC should work with OpenMAX, and the Raspberry Pi supports OpenMAX, but at present omxplayer is the...