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: 1364.5 GiB · Used: 987.9 GiB · Free: 376.6 GiB · 72.4%
Statussuccess
Last Sync2026-10-15 21:37:43
Duration154.1s
Mirror Size564.6 GiB
Total Syncs348
Failures1
Downloads1210730
Served2918.5 GiB
Next sync: 1h 37m
mirrord 2f3c18b — loaded 2026-10-16 01:57:28