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: 2048.0 GiB · Used: 1101.7 GiB · Free: 946.3 GiB · 53.8%
Statussuccess
Last Sync2026-08-17 22:40:42
Duration49.6s
Mirror Size691.7 GiB
Total Syncs129
Failures0
Downloads504509
Served846.1 GiB
Next sync: 5h 19m
mirrord 1d8151e — loaded 2026-08-17 23:20:42