{"ftp.gwdg.de":{"dt":"2026-10-06 07:49:30.000","hostname":"ftp.gwdg.de","missing_file":null,"missing_files":0},"mirror.firstyear.id.au":{"dt":"2026-10-06 07:49:30.000","hostname":"mirror.firstyear.id.au","missing_file":null,"missing_files":0},"opensuse.mirror-services.net":{"dt":"2026-10-06 07:49:30.000","hostname":"opensuse.mirror-services.net","missing_file":"idris2-0.8.0.git.20260110.d83bc7d-18.12.src.rpm","missing_files":1},"opensuse.mirror.liquidtelecom.com":{"dt":"2026-10-06 07:49:30.000","hostname":"opensuse.mirror.liquidtelecom.com","missing_file":null,"missing_files":0}}