Hi everyone, I believe there is a mistaken dependency on the mpv media player for the devedeng package from Packman. On Arch and Ubuntu I never noticed mpv being install with devedeng. Can anybody confirm this or otherwise explain why mpv is needed? Thanks a lot! Sam