mirrord

/debian/pool/main/g/gringo
stats ← index
Debian
Debian / pool / main / g / gringo
NameSizeModified
gringo_5.4.1-3.1+b1_amd64.deb 1.8 MiB 2023-01-03 07:45:41
gringo_5.4.1-3_amd64.deb 1.8 MiB 2020-12-28 14:09:39
gringo_5.6.2-2_amd64.deb 1.8 MiB 2024-06-25 12:42:28
gringo_5.8.0-2_amd64.deb 1.9 MiB 2025-12-27 02:51:19
Info
Disk — Total: 1369.6 GiB · Used: 990.4 GiB · Free: 379.1 GiB · 72.3%
Statussuccess
Last Sync2026-10-15 16:18:09
Duration2580.3s
Mirror Size564.6 GiB
Total Syncs347
Failures1
Downloads1200253
Served2900.3 GiB
Next sync: 1h 23m
mirrord 2f3c18b — loaded 2026-10-15 20:12:04