mirrord
/debian/pool/main/m/mathcomp-algebra-tactics
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
m
/
mathcomp-algebra-tactics
Name
Size
Modified
libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64.deb
745.2 KiB
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
4826
Served
2.6 GiB
Next sync:
2h 49m
mirrord v0.1.0 — loaded
2026-06-16 22:50:13