mirrord
/debian/pool/main/c/coq-hierarchy-builder
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
c
/
coq-hierarchy-builder
Name
Size
Modified
libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb
535.8 KiB
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
9925
Served
10.4 GiB
Next sync:
2h 29m
mirrord v0.1.0 — loaded
2026-06-16 23:10:11