…yes, all libav… packages are from the Packman repository. It is somehow strange, because some ogg files are displayed correctly , while others show a green screen. It is not a problem with the viedos - the play correctly in VLC on another machine running Leap 15.2.