[09:34] <tjaalton> the debian mirror isn't getting updates
[09:34] <tjaalton> so can't sync packages uploaded there 12h ago
[09:39] <wgrant> tjaalton: Do you have an example of a missing package?
[09:40] <tjaalton> wgrant: intel-gpu-tools
[09:44] <wgrant> tjaalton: AFAICS that was only published in Debian around 02:51. There's only been one import run since then, and it might have just missed it.
[09:44] <wgrant> I wouldn't be too concerned yet.
[09:45] <tjaalton> wgrant: ok, how frequently is it run?
[09:46] <wgrant> tjaalton: Every six hours.
[09:47] <tjaalton> ok, I'll try to remember next time :)
[09:47] <wgrant> We attempt to synchronise our crontab with ftp.uk.debian.org updates, but I think Debian's publishing an hour later than last time we updated the schedule.
[09:48] <wgrant> (Debian also publishes every six hours. So we attempt to update roughly in sync with them, but if they drift then the latency can be more than several hours)
[09:48] <wgrant> http://ftp.uk.debian.org/debian/project/trace/ suggests that things were very delayed.
[09:49] <tjaalton> ok, I'm not in a hurry, just was wondering