On Tue, Jul 17, 2018 at 10:25:45PM +0200, Andreas Enge wrote:
> So I see two possible courses of action:
> - Keep mplayer and compile it with ffmpeg-3.4, which requires us to keep also
>   this older ffmpeg package around.

I think we will probably need to keep ffmpeg-2 and ffmpeg-3 for a while
anyways, so we might as well fix the mplayer package now.

> - Drop mplayer, and replace it by mpv (there is a field in the package
>   definition to indicate this).

Unless mplayer development continues, the package will bitrot and we
will have to replace it with mpv eventually.