mirrord

/debian/pool/main/r/rocq-micromega-plugin
stats ← index
Debian
Debian / pool / main / r / rocq-micromega-plugin
NameSizeModified
libcoq-micromega-plugin_1.1.1-1+b1_amd64.deb 3.7 MiB 2026-07-28 10:35:56
Info
Disk — Total: 2048.0 GiB · Used: 1103.2 GiB · Free: 944.8 GiB · 53.9%
Statussuccess
Last Sync2026-08-17 10:44:41
Duration288.1s
Mirror Size692.8 GiB
Total Syncs127
Failures0
Downloads500032
Served844.0 GiB
Next sync: 50m 14s
mirrord 1d8151e — loaded 2026-08-17 15:49:38