Re: [aur-general] Differences between AUR and AUR-Mirror

On Sat, Nov 1, 2014 at 12:11 AM, Lex Black <autumn-wind@web.de> wrote:

So I suppose it was removed some time ago, but remained in the mirror. Should such cases be reported or is there a script checking for such things from time to time?

Generally, IIRC removed from aur doesn't mean the files are gone, but the aur api and webfrontend stop reporting it. That means, don't trust aur-mirror.git for your stuff. cheers! mar77i