[aur-general] Differences between AUR and AUR-Mirror
mysatyre at gmail.com
Sat Nov 1 06:52:44 UTC 2014
On Sat, Nov 1, 2014 at 12:11 AM, Lex Black <autumn-wind at 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.
More information about the aur-general