1 Nov
2014
1 Nov
'14
6:52 a.m.
On Sat, Nov 1, 2014 at 12:11 AM, Lex Black
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