=== beuno_ is now known as beuno [09:34] the debian mirror isn't getting updates [09:34] so can't sync packages uploaded there 12h ago [09:39] tjaalton: Do you have an example of a missing package? [09:40] wgrant: intel-gpu-tools [09:44] 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] I wouldn't be too concerned yet. [09:45] wgrant: ok, how frequently is it run? [09:46] tjaalton: Every six hours. [09:47] ok, I'll try to remember next time :) [09:47] 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] (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] http://ftp.uk.debian.org/debian/project/trace/ suggests that things were very delayed. [09:49] ok, I'm not in a hurry, just was wondering === JanC_ is now known as JanC