mirrord
/debian/pool/main/c/coq-reglang
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
c
/
coq-reglang
Name
Size
Modified
libcoq-reglang_1.2.1-4+b14_amd64.deb
855.0 KiB
2026-06-16 15:29:04
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 51m
mirrord v0.1.0 — loaded
2026-06-16 21:48:05