Eu descobri que não é necessário adicionar outro ppa já que o repositório do mc3man é para confiança, eu posso usar isso:
sudo apt-get install vlc -t vivid
@xangua isso, claro, funciona, mas eu estava procurando uma solução melhor
@whatanohelpforum @ Fat-Mind essas soluções não funcionam porque o repositório mc3man é mais alto em prioridade e está tentando instalar a partir desse repositório