mirrord

/debian/pool/main/c/coq-hierarchy-builder
stats ← index
Debian
Debian / pool / main / c / coq-hierarchy-builder
NameSizeModified
coq-hierarchy-builder_1.4.0-2+b6_amd64.deb 605.1 KiB 2023-02-14 10:29:48
libcoq-hierarchy-builder_1.10.3-3+b1_amd64.deb 812.0 KiB 2026-08-11 20:29:16
libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb 234.5 KiB 2023-02-14 10:29:48
libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb 535.8 KiB 2025-06-17 11:02:54
Info
Disk — Total: 2048.0 GiB · Used: 1100.2 GiB · Free: 947.8 GiB · 53.7%
Statussuccess
Last Sync2026-08-16 10:41:43
Duration110.8s
Mirror Size689.8 GiB
Total Syncs123
Failures0
Downloads470141
Served809.7 GiB
Next sync: 1h 15m
mirrord 1d8151e — loaded 2026-08-16 15:24:03