Tente o player mpv , é um fork do mplayer2 com versões atualizadas de codecs. VLC é muitas vezes muito atrás em suporte de formato, por causa do desatualizado ffmpeg
. No Mint você deve ser capaz de usar o Ubuntu ou O teste da comunidade é construído:
sudo add-apt-repository ppa:mc3man/mpv-tests
sudo apt-get update
sudo install mpv
Outra opção seria usar libde265 de seus Pacotes do Ubuntu , no entanto, isso pode exigir uma versão mais recente do VLC do que a que está presente no seu sistema.