[packman] Kodi doesn't play videos with latest ffmpeg

[Peter Snauwaert]

Hi,

I noticed Kodi is no longer able to play videos. It was suggested on the
Kodi forum that this could be the reason:
https://github.com/xbmc/xbmc/commit/5ba6eb7cadc41d5eb86ef94e3661b833b62953ff

>From that link:
# required ffmpeg library versions
+# note to distro maintainers:
+# only ffmpeg 3.1 is supported for Krypton!
+# our ffmpeg 3.1 version carries two important patches:
https://github.com/xbmc/FFmpeg/commits/release/3.1-xbmc
set(REQUIRED_FFMPEG_VERSION 3.1)

How can I work around this until it does work with the latest ffmpeg?

thanks