Added installation verification to AUR search