mirrord

/debian/pool/main/f/flocq
stats ← index
Debian
Debian / pool / main / f / flocq
NameSizeModified
libcoq-flocq_4.1.0-3+b1_amd64.deb 3.2 MiB 2023-02-13 05:26:51
libcoq-flocq_4.2.1-1+b2_amd64.deb 3.3 MiB 2025-06-15 10:49:54
libcoq-flocq_4.2.2-2+b1_amd64.deb 3.3 MiB 2026-07-28 10:35:58
Info
Disk — Total: 2048.0 GiB · Used: 1101.4 GiB · Free: 946.6 GiB · 53.8%
Statussuccess
Last Sync2026-08-18 10:40:46
Duration53.0s
Mirror Size692.0 GiB
Total Syncs131
Failures0
Downloads511228
Served851.7 GiB
Next sync: 2h 6m
mirrord 1d8151e — loaded 2026-08-18 14:33:03