mirrord

/debian/pool/main/c/coquelicot
stats ← index
Debian
Debian / pool / main / c / coquelicot
NameSizeModified
libcoq-coquelicot_3.2.0-8+b1_amd64.deb 3.1 MiB 2023-02-13 07:44:06
libcoq-coquelicot_3.4.3-1+b3_amd64.deb 3.2 MiB 2025-06-15 04:26:48
libcoq-coquelicot_3.4.4-5_amd64.deb 3.2 MiB 2026-08-12 07:37:11
Info
Disk — Total: 2048.0 GiB · Used: 1107.3 GiB · Free: 940.7 GiB · 54.1%
Statussuccess
Last Sync2026-08-20 10:41:48
Duration115.5s
Mirror Size699.4 GiB
Total Syncs139
Failures0
Downloads530920
Served872.3 GiB
Next sync: 5h 46m
mirrord 1d8151e — loaded 2026-08-20 10:53:41