mirrord

/debian/pool/main/c/coqeal
stats ← index
Debian
Debian / pool / main / c / coqeal
NameSizeModified
libcoq-coqeal_1.1.1-3+b1_amd64.deb 4.4 MiB 2023-02-14 06:27:03
libcoq-coqeal_2.1.0-1+b1_amd64.deb 5.3 MiB 2025-06-15 11:15:13
libcoq-coqeal_2.1.2-2_amd64.deb 6.0 MiB 2026-08-13 06:17:55
Info
Disk — Total: 2048.0 GiB · Used: 1100.2 GiB · Free: 947.8 GiB · 53.7%
Statussuccess
Last Sync2026-08-16 10:41:43
Duration110.8s
Mirror Size689.8 GiB
Total Syncs123
Failures0
Downloads469486
Served809.3 GiB
Next sync: 1h 26m
mirrord 1d8151e — loaded 2026-08-16 15:13:19