mirrord
/debian/pool/main/r/rocq-stdlib
stats
← index
Debian
Debian
/
pool
/
main
/
r
/
rocq-stdlib
Name
Size
Modified
libcoq-stdlib_9.2.0-1+b1_amd64.deb
19.2 MiB
2026-07-27 20:33:42
Info
Disk — Total:
2048.0
GiB · Used:
1100.2
GiB · Free:
947.8
GiB ·
53.7
%
Status
success
Last Sync
2026-08-16 10:41:43
Duration
110.8s
Mirror Size
689.8 GiB
Total Syncs
123
Failures
0
Transferred
Downloads
468485
Served
808.8 GiB
Next sync:
3h 3m
mirrord 1d8151e — loaded
2026-08-16 13:35:55