mirrord

/debian/pool/main/c/cbmc
stats ← index
Debian
Debian / pool / main / c / cbmc
NameSizeModified
cbmc_5.12-5_amd64.deb 16.9 MiB 2020-05-04 17:58:17
cbmc_6.6.0-4_amd64.deb 21.3 MiB 2025-04-30 14:44:46
jbmc_6.6.0-4_amd64.deb 8.3 MiB 2025-04-30 14:44:46
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
Downloads488248
Served837.6 GiB
Next sync: 27m 48s
mirrord 1d8151e — loaded 2026-08-16 22:12:04