Vlc官方源更新很慢,有没有别的源?

vlc 官方源更新很慢,基本动不了,升级解码器什么的都出错,有没有别的源?

可以用阿里的 packman 源, mirrors.aliyun.com/packman/