jjdino [1] filed a deletion request for dino-git-notification-sounds [2]: Made a new package called dino-notification-sounds-git. This one has barely existed anyway, should be a problem. [1] https://aur.archlinux.org/account/jjdino/ [2] https://aur.archlinux.org/pkgbase/dino-git-notification-sounds/