An MPEG-DASH plugin for VLC