mirrord

/debian/pool/main/m/mathcomp-algebra-tactics
stats ← index
Debian
Debian / pool / main / m / mathcomp-algebra-tactics
NameSizeModified
libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd64.deb 224.4 KiB 2023-02-14 10:29:36
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64.deb 745.2 KiB 2025-06-17 11:18:24
libcoq-mathcomp-algebra-tactics_1.2.7-5_amd64.deb 928.2 KiB 2026-08-12 13:22:51
Info
Disk — Total: 2048.0 GiB · Used: 1103.4 GiB · Free: 944.6 GiB · 53.9%
Statussuccess
Last Sync2026-08-16 22:44:27
Duration274.8s
Mirror Size694.2 GiB
Total Syncs125
Failures0
Downloads491883
Served839.5 GiB
Next sync: 39m 0s
mirrord 1d8151e — loaded 2026-08-17 04:00:53