Kodi with Wayland rendering backend
Kodi is a media center application for playing videos, music, games, etc. Kodi is highly customizable and features a theme and plug-in system.
Report failure to compile a package to a derivation
|failed to create mips64el-linux derivation: (match-error "match" "no matching pattern" "mips64el-linux")|
Validate file names and availability of patches
|file names of patches should start with the package name|