On Sat, Nov 1, 2014 at 12:11 AM, Lex Black <[email protected]> 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
