mirrord

/debian/pool/main/c/coq-extructures
stats ← index
Debian
Debian / pool / main / c / coq-extructures
NameSizeModified
libcoq-extructures_0.3.1-3+b1_amd64.deb 573.8 KiB 2023-02-14 06:11:15
libcoq-extructures_0.5.0-1+b7_amd64.deb 720.4 KiB 2025-06-15 04:47:00
libcoq-extructures_0.5.0-6_amd64.deb 701.8 KiB 2026-08-12 13:17:47
Info
Disk — Total: 2048.0 GiB · Used: 1102.4 GiB · Free: 945.6 GiB · 53.8%
Statussuccess
Last Sync2026-08-17 16:41:36
Duration103.7s
Mirror Size692.3 GiB
Total Syncs128
Failures0
Downloads502760
Served845.6 GiB
Next sync: 2h 1m
mirrord 1d8151e — loaded 2026-08-17 20:38:33