mirrord

/debian/pool/main/m/mathcomp-real-closed
stats ← index
Debian
Debian / pool / main / m / mathcomp-real-closed
NameSizeModified
libcoq-mathcomp-real-closed_1.1.3-1+b4_amd64.deb 2.2 MiB 2023-02-14 06:26:53
libcoq-mathcomp-real-closed_2.0.2-1+b7_amd64.deb 2.5 MiB 2025-06-15 04:47:02
libcoq-mathcomp-real-closed_2.0.6-2_amd64.deb 2.7 MiB 2026-08-12 13:37:56
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
Downloads487532
Served837.1 GiB
Next sync: 1h 21m
mirrord 1d8151e — loaded 2026-08-16 21:18:36