mirrord
/debian/pool/main/c/coq-relation-algebra
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
c
/
coq-relation-algebra
Name
Size
Modified
libcoq-relation-algebra_1.7.11-1+b7_amd64.deb
2.0 MiB
2026-06-16 15:29:05
Info
Disk — Total:
2048.0
GiB · Used:
493.6
GiB · Free:
1554.4
GiB ·
24.1
%
Status
success
Last Sync
2026-06-17 01:48:43
Duration
545.8s
Mirror Size
119.8 GiB
Total Syncs
2
Failures
0
Transferred
Downloads
19255
Served
21.4 GiB
Next sync:
10m 33s
mirrord v0.1.0 — loaded
2026-06-17 07:29:04