mirrord

/debian/pool/main/b/boolector
stats ← index
Debian
Debian / pool / main / b / boolector
NameSizeModified
boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb 296.8 KiB 2017-03-17 04:58:22
boolector_1.5.118.6b56be4.121013-1.3_amd64.deb 301.8 KiB 2022-11-12 05:41:51
boolector_3.2.4-1_amd64.deb 520.9 KiB 2026-01-30 15:01:47
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
Downloads1208937
Served2916.6 GiB
Next sync: 2h 45m
mirrord 2f3c18b — loaded 2026-10-16 00:49:36