Package: vlc*
Pin: origin archive.raspberrypi.org
Pin-Priority: 1001

Package: libvlc*
Pin: origin archive.raspberrypi.org
Pin-Priority: 1001