mirrord
/debian/pool/main/m/mathcomp-analysis
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
m
/
mathcomp-analysis
Name
Size
Modified
libcoq-mathcomp-analysis_1.9.0-1+b3_amd64.deb
16.8 MiB
2026-06-16 16:33:56
libcoq-mathcomp-classical_1.9.0-1+b3_amd64.deb
3.3 MiB
2026-06-16 16:33:56
Info
Disk — Total:
2048.0
GiB · Used:
494.8
GiB · Free:
1553.2
GiB ·
24.2
%
Status
idle
Last Sync
2026-06-16 18:27:49
Duration
2064.6s
Mirror Size
Total Syncs
1
Failures
0
Transferred
Downloads
15079
Served
19.0 GiB
Next sync:
1h 48m
mirrord v0.1.0 — loaded
2026-06-16 23:50:38