mirrord
/debian/pool/main/c/coq-quickchick
← index
Debian (HTTP)
Debian (HTTP)
/
pool
/
main
/
c
/
coq-quickchick
Name
Size
Modified
libcoq-quickchick_2.1.0-1+b2_amd64.deb
4.1 MiB
2026-06-16 15:29:04
quickchick_2.1.0-1+b2_amd64.deb
480.7 KiB
2026-06-16 15:29:04
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
17150
Served
20.0 GiB
Next sync:
3h 9m
mirrord v0.1.0 — loaded
2026-06-17 04:29:42