mirrord

/debian/pool/main/c/coq-serapi
stats ← index
Debian
Debian / pool / main / c / coq-serapi
NameSizeModified
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb 29.6 MiB 2025-06-15 01:53:14
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb 16.6 MiB 2025-06-15 01:53:14
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb 6.1 MiB 2025-06-15 01:53:14
Info
Disk — Total: 2048.0 GiB · Used: 1102.1 GiB · Free: 945.9 GiB · 53.8%
Statussuccess
Last Sync2026-08-16 16:43:23
Duration210.6s
Mirror Size689.8 GiB
Total Syncs124
Failures0
Downloads482467
Served828.4 GiB
Next sync: 3h 19m
mirrord 1d8151e — loaded 2026-08-16 19:20:15