I'm looking for a good media player that can play MP3, WMA, FLAC, and OGG audio files, as well as MP4, WMV, MKV, and VOB files with fairly good quality (320 Kbps audio and 1080p60) on my Raspberry Pi running Raspbian.
Prospective players should support the capability to create playlists and shuffle/repeat files from such playlists. In other words, it should be able to do the same things that an iPod is capable of doing.
The player should be able to output the audio and video over the HDMI port as well as the 3.5mm jack and composite video output respectively.