mirrord
/debian/pool/main/c/coq-interval
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
c
/
coq-interval
Name
Size
Modified
libcoq-interval_4.11.1-1+b9_amd64.deb
6.2 MiB
2026-06-16 15:29:03
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
6
Served
0.0 GiB
Next sync:
3h 56m
mirrord v0.1.0 — loaded
2026-06-16 21:42:40