Hi, If a dev/tu adds a package to one of the official repos, they are supposed to also remove the AUR packages for the same software, as part of the process.
-- Best regards, Alexander Rødseth Arch Linux Trusted User (xyproto on IRC, trontonic on AUR)
