mirrord

/debian/pool/main/c/coq-math-classes
stats ← index
Debian
Debian / pool / main / c / coq-math-classes
NameSizeModified
libcoq-math-classes_8.15.0-4+b1_amd64.deb 2.8 MiB 2023-02-13 07:28:47
libcoq-math-classes_8.19.0-1+b11_amd64.deb 2.7 MiB 2025-06-15 11:15:11
libcoq-math-classes_9.2.0-1+b1_amd64.deb 2.7 MiB 2026-07-31 21:11:09
Info
Disk — Total: 2048.0 GiB · Used: 1102.1 GiB · Free: 945.9 GiB · 53.8%
Statussuccess
Last Sync2026-08-16 16:43:23
Duration210.6s
Mirror Size689.8 GiB
Total Syncs124
Failures0
Downloads482466
Served828.4 GiB
Next sync: 3h 20m
mirrord 1d8151e — loaded 2026-08-16 19:19:29