On 04/16/2018 06:01 PM, notify--- via aur-requests wrote:

graysky [1] filed a deletion request for kodi-devel-platform [2]:

Redundant and unmaintained.

[1] https://aur.archlinux.org/account/graysky/ [2] https://aur.archlinux.org/pkgbase/kodi-devel-platform/

I see that it is unmaintained, but not having much of anything to do with kodi I'm unsure how it is redundant.

Are they just duplicative of the community packages? For that matter I'm unsure what kodi-devel does different from kodi.